5 Module interpreted model

5.1 Mapping specification

• Independent_property_definition
• Point_property_definition
• Property_symmetry
• Range_property_definition

5.2 MIM EXPRESS short listing

*)
SCHEMA independent_property_definition_mim;
  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:

• externally_defined_item;
• general_property;
• general_property_relationship.

5.2.1 MIM EXPRESS types

None.

5.2.2 MIM EXPRESS entities

5.2.2.1 classification_of_property_by_symmetry

A classification_of_property_by_symmetry is a general_property_relationship that indicate the symmetry for a property_value.

EXPRESS specification:

*)
ENTITY classification_of_property_by_symmetry
  SUBTYPE OF (general_property_relationship);
  SELF\general_property_relationship.related_property  :  
                                    independent_property_definition;
  SELF\general_property_relationship.relating_property  :  
                                    property_symmetry;
UNIQUE
  single_symmetry_for_independent_property_definition  :  
    SELF\general_property_relationship.related_property ;
  END_ENTITY;
(*

Formal propositions:

single_symmetry_for_independent_property_definition: There shall not be more than one instance of classification_of_property_by_symmetry classifying an independent_property_definition.

5.2.2.2 independent_property_definition

An independent_property_definition is a general_property that is an Independent_property_definition.

EXPRESS specification:

*)
ENTITY independent_property_definition
  SUPERTYPE OF (ONEOF (
  point_property_definition,
  range_property_definition))
  SUBTYPE OF (general_property);
END_ENTITY;
(*

5.2.2.3 point_property_definition

A point_property_definition is an independent_property_definition that is a Point_property_definition.

EXPRESS specification:

*)
ENTITY point_property_definition
  SUBTYPE OF (independent_property_definition);
END_ENTITY;
(*

5.2.2.4 property_symmetry

A property_symmetry is a general_property and an externally_defined_item that is a Property_symmetry.

EXPRESS specification:

*)
ENTITY property_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-1036') THEN
        SELF\externally_defined_item.item_id IN 
          ['PS001', 'PS002', 'PS003', 'PS004', 'PS005', 'PS006',
           'PS007', 'PS008', 'PS009', 'PS010', 'PS011', 'PS012', 'PS013'];
    ELSE
      TRUE;
    END_IF;
END_ENTITY;
(*

Formal propositions:

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

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

5.2.2.5 range_property_definition

A range_property_definition is an independent_property_definition that is a Range_property_definition.

EXPRESS specification:

*)
ENTITY range_property_definition
  SUBTYPE OF (independent_property_definition);
END_ENTITY;
(*

*)
END_SCHEMA;
(*