5 Module interpreted model

5.1 Mapping specification

5.2 MIM EXPRESS short listing

*)
SCHEMA property_dictionary_for_structural_analysis_mim;
  USE FROM external_reference_schema -- ISO 10303-41
    (externally_defined_item);
  USE FROM property_space_schema -- ISO 10303-1080
    (property_space);
(*

5.2.1 MIM EXPRESS types

None.

5.2.2 MIM EXPRESS entities

5.2.2.1 property_space_for_structural_analysis

A property_space_for_structural_analysis is a property_space and an externally_defined_item that is a Property_space_for_structural_analysis.

EXPRESS specification: 

*)
ENTITY property_space_for_structural_analysis
  SUBTYPE OF (property_space,
  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-1078') THEN
        SELF\externally_defined_item.item_id IN code_generator ('SA', 70, 3);
    ELSE
      TRUE;
    END_IF;
END_ENTITY;
(*

Formal propositions:

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

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

*)
END_SCHEMA;
(*

[Information Requirements] [Annex A]

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