Application module: Possession of property | ISO/TS 10303-1199:2005(E) © ISO |
This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.
This clause constitutes the Module Interpreted Module (MIM) of the application module.
This clause also specifies the modifications that apply to the constructs imported from the common resources.
The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:
*)
SCHEMA Possession_of_property_mim;
USE FROM
Individual_activity_mim;
--
ISO/TS 10303-1176
USE FROM
Independent_property_definition_mim;
--
ISO/TS 10303-1099
USE FROM
Process_property_assignment_mim;
--
ISO/TS 10303-1040
USE FROM
Product_as_individual_mim;
--
ISO/TS 10303-1164
USE FROM
Property_assignment_mim;
--
ISO/TS 10303-1030
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Individual_activity_mim ISO/TS 10303-1176 Independent_property_definition_mim ISO/TS 10303-1099 Process_property_assignment_mim ISO/TS 10303-1040 Product_as_individual_mim ISO/TS 10303-1164 Property_assignment_mim ISO/TS 10303-1030
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
A possession_of_property_by_activity is a type of action_property that is a Possesssion_of_property (as defined in the ARM).
EXPRESS specification:
*)
ENTITY possession_of_property_by_activity
SUBTYPE OF (action_property);
SELF\action_property.definition : individual_activity;
END_ENTITY;
(*
Attribute definitions:
definition: an Individual_activity that possesses the property.
A possession_of_property_by_product is a type of property_definition that is a Possesssion_of_property (as defined in the ARM).
EXPRESS specification:
*)
ENTITY possession_of_property_by_product
SUBTYPE OF (property_definition);
WHERE
link_to_individual: 'PRODUCT_AS_INDIVIDUAL_MIM.PRODUCT_AS_INDIVIDUAL_VERSION' IN TYPEOF(SELF\property_definition.definition.formation);
END_ENTITY;
(*
Formal propositions:
link_to_individual: The possession_of_property_by_product shall reference a product_as_individual_version.
A possessed_property is a type of general_property_association that specifies a Physical_quantity_instance (as defined in the ARM) for a Possession_of_property (as defined in the ARM).
EXPRESS specification:
*)
ENTITY possessed_property
SUBTYPE OF (general_property_association);
SELF\general_property_association.base_definition : physical_quantity_instance;
WHERE
link_to_possession: ('POSSESSION_OF_PROPERTY_MIM.POSSESSION_OF_PROPERTY_BY_ACTIVITY' IN TYPEOF(SELF\general_property_association.derived_definition))
OR ('POSSESSION_OF_PROPERTY_MIM.POSSESSION_OF_PROPERTY_BY_PRODUCT' IN TYPEOF(SELF\general_property_association.derived_definition));
END_ENTITY;
(*
Attribute definitions:
base_definition: an Physical_quantity_instance that is possessed.
Formal propositions:
link_to_possession: the Physical_quantity_instance shall be referenced by a possession of property.
*)
END_SCHEMA; -- Possession_of_property_mim
(*
© ISO 2005 — All rights reserved