5 Module interpreted model

5.1 Mapping specification

• Components_of_property_space

5.2 MIM EXPRESS short listing

*)
SCHEMA compound_property_space_mim;
  USE FROM property_space_mim -- ISO 10303-1039
    (property_space);
  USE FROM engineering_analysis_schema -- ISO 10303-5x
    (components_of_general_property);
(*

NOTE - The Integrated Resource entity components_of_general_property does not yet exist, but must be developed to satisfy the information requirements of this analysis module.

5.2.1 MIM EXPRESS types

None.

5.2.2 MIM EXPRESS entities

5.2.2.1 components_of_general_property

A components_of_general_property is a relationship between a general_property and a list of instances of general_property that are its components.

EXPRESS specification:

*)
ENTITY components_of_general_property;
  compound_property  :  general_property;
  components  :  LIST[2,?] OF general_property;
END_ENTITY;
(*

5.2.2.2 components_of_property_space

A components_of_property_space is a components_of_general_property that is a Components_of_property_space.

EXPRESS specification:

*)
ENTITY components_of_property_space
  SUBTYPE OF (components_of_general_property);
  SELF/components_of_general_property.compound_property  :
    property_space;
  SELF/components_of_general_property.components  :
    LIST[2,?] OF property_space;
UNIQUE
  single_list_of_components  :  
    SELF/components_of_general_property.compound_property;
END_ENTITY;
(*

Formal propositions:

single_list_of_components: There shall not be more than one instance of components_of_property_space specifying the components of a property_space.

*)
END_SCHEMA;
(*