5 Module interpreted model

5.1 Mapping specification

5.2 MIM EXPRESS short listing

*)
SCHEMA property_space_mim;
  USE FROM independent_property_definition_mim; -- ISO 10303-1099  
  USE FROM independent_property_mim; -- ISO 10303-1036  
(*

NOTE - The entities in the independent_property_mim schema that are used to satisfy requirements in this module are:

NOTE - The entities in the independent_property_definition_mim schema that are used to satisfy requirements in this module are:

5.2.1 MIM EXPRESS types

None.

5.2.2 MIM EXPRESS entities

5.2.2.1 classification_of_property_space_by_tensor_order_and_symmetry

A classification_of_property_space_by_tensor_order_and_symmetry is a general_property_relationship that indicates the tensor order and symmetry for a property_space.

EXPRESS specification: 

*)
ENTITY classification_of_property_space_by_tensor_order_and_symmetry
  SUBTYPE OF (general_property_relationship);
  SELF/general_property_relationship.relating_property :
        property_space_tensor_order_and_symmetry; 
  SELF/general_property_relationship.related_property :
        property_space; 
UNIQUE
  single_tensor_order_and_symmetry_for_property_space  :  
    SELF\general_property_relationship.related_property ;
  END_ENTITY;
(*

Formal propositions:

single_tensor_order_and_symmetry_for_property_space: There shall not be more than one instance of classification_of_property_space_by_tensor_order_and_symmetry classifying a property_space.

5.2.2.2 membership_of_property_space

A membership_of_property_space is a general_property_relationship that is a Membership_of_property_space.

EXPRESS specification: 

*)
ENTITY membership_of_property_space
  SUBTYPE OF (general_property_relationship);
  SELF/general_property_relationship.relating_property :
        property_space; 
  SELF/general_property_relationship.related_property :
        independent_property_definition; 
END_ENTITY;
(*

5.2.2.3 property_space

A property_space is a general_property that is a Property_space.

EXPRESS specification: 

*)
ENTITY property_space
  SUBTYPE OF (general_property);
END_ENTITY;
(*

5.2.2.4 property_space_as_property_definition

A property_space_as_property_definition is a general_property_relationship that is a Property_space_as_property_definition.

EXPRESS specification: 

*)
ENTITY property_space_as_property_definition
  SUBTYPE OF (general_property_relationship);
  SELF/general_property_relationship.relating_property :
        independent_property_definition; 
  SELF/general_property_relationship.related_property :
        property_space; 
END_ENTITY;
(*

5.2.2.6 property_space_tensor_order_and_symmetry

A property_space_tensor_order_and_symmetry is a general_property and an externally_defined_item that is a Property_space_tensor_order_and_symmetry.

EXPRESS specification: 

*)
ENTITY property_space_tensor_order_and_symmetry
  SUBTYPE OF (general_property,


  externally_defined_item);
UNIQUE
  single_instance_of_class  :  
    SELF\externally_defined_item.source, SELF\externally_defined_item.item_id;
WHERE
  valid_standard_class :
    IF (SELF\externally_defined_item.source = 'ISO/PDTS 10303-1039') THEN
        SELF\externally_defined_item.item_id IN 
          ['TO001', 'TO002', 'TO003', 'TO004', 'TO005', 'TO006',
           'TO007', 'TO008', 'TO009'];
    ELSE
      TRUE;
    END_IF;
END_ENTITY;
(*

Formal propositions:

single_instance_of_class: There shall not be more than one instance of property_space_tensor_order_and_symmetry with the same meaning.

valid_standard_class: Each instance of property_space_tensor_order_and_symmetry, that is reference data defined by this part of ISO 10303, shall make reference to a standard instance of Property_space_tensor_order_and_symmetry. 

*)
END_SCHEMA;
(*

[Information Requirements] [Annex A]

If you have a comment on this module, please send it to the support team