Application module: Property condition | ISO/TS 10303-1074: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 Property_condition_mim;
USE FROM
Class_of_activity_mim;
--
ISO/TS 10303-1071
USE FROM
Class_of_product_mim;
--
ISO/TS 10303-1077
USE FROM
Property_space_mim;
--
ISO/TS 10303-1080
USE FROM
Process_property_assignment_mim;
--
ISO/TS 10303-1040
USE FROM
Property_assignment_mim;
--
ISO/TS 10303-1030
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Class_of_activity_mim ISO/TS 10303-1071 Class_of_product_mim ISO/TS 10303-1077 Property_space_mim ISO/TS 10303-1080 Process_property_assignment_mim ISO/TS 10303-1040 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 condition_property is a type of general_property_association that specifies a Physical_quantity_range (as defined in the ARM) for a Property_condition (as defined in the ARM).
EXPRESS specification:
*)
ENTITY condition_property
SUBTYPE OF (general_property_association);
SELF\general_property_association.base_definition : physical_quantity_range;
WHERE
link_to_condition: ('PROPERTY_CONDITION_MIM.PROPERTY_CONDITION_FOR_ACTIVITY' IN TYPEOF(SELF\general_property_association.derived_definition))
OR ('PROPERTY_CONDITION_MIM.PROPERTY_CONDITION_FOR_PRODUCT' IN TYPEOF(SELF\general_property_association.derived_definition));
END_ENTITY;
(*
Attribute definitions:
base_definition: the Physical_quantity_range that contains the physical quantity instance possessed by each member of a class.
Formal propositions:
link_to_condition: the Physical_quantity_range shall be referenced by a property condition.
A property_condition_for_activity is a type of class_of_possession_of_property_by_activity that is a Property_condition (as defined in the ARM).
EXPRESS specification:
*)
ENTITY property_condition_for_activity
SUBTYPE OF (class_of_possession_of_property_by_activity);
END_ENTITY;
(*
A property_condition_for_product is a type of class_of_possession_of_property_by_product that is a Property_condition (as defined in the ARM).
EXPRESS specification:
*)
ENTITY property_condition_for_product
SUBTYPE OF (class_of_possession_of_property_by_product);
END_ENTITY;
(*
*)
END_SCHEMA; -- Property_condition_mim
(*
© ISO 2005 — All rights reserved