5 Module interpreted model

5.1 Mapping specification

• Explicit_product_set
• Occurrence_of_product_specification_or_set
• Product_occurrence
• Product_specification_or_set
• Specific_product_specification

5.2 MIM EXPRESS short listing

*)
SCHEMA Product_specification_or_set_mim;
USE FROM product_view_definition_mim -- ISO 10303-1019
   (product_definition);
USE FROM product_definition_schema -- ISO 10303-41
   (product_definition_relationship);
(*

5.2.1 MIM EXPRESS types

none.

5.2.2 MIM EXPRESS entities

5.2.2.1 explicit_product_set

An explicit_product_set is a product_specification_or_set that is an Explicit_product_set.

EXPRESS specification:

*)
ENTITY explicit_product_set
  SUBTYPE OF (product_specification_or_set);
END_ENTITY;
(*

5.2.2.2 occurrence_of_product_specification_or_set

An occurrence_of_product_specification_or_set is a product_definition_relationship that is an Occurrence_of_product_specification_or_set.

EXPRESS specification:

*)
ENTITY occurrence_of_product_specification_or_set
  SUBTYPE OF (product_definition_relationship);
  SELF\product_definition_relationship.related_product_definition  :
    product_occurrence;
  SELF\product_definition_relationship.relating_product_definition  :
    product_specification_or_set;
END_ENTITY;
(*

5.2.2.3 product_occurrence

A product_occurrence is a product_specification_or_set that is an Product_occurrence.

EXPRESS specification:

*)
ENTITY product_occurrence
  SUBTYPE OF (product_specification_or_set);
END_ENTITY;
(*

5.2.2.4 product_specification_or_set

A product_specification_or_set is a product_definition that is an Product_specification_or_set.

EXPRESS specification:

*)
ENTITY product_specification_or_set
  SUPERTYPE OF ONEOF (
    explicit_product_set,
    product_occurrence,
    specific_product_specification))
  SUBTYPE OF (product_definition);
END_ENTITY;
(*

5.2.2.5 specific_product_specification

A specific_product_specification is a product_specification_or_set that is an Specific_product_specification.

EXPRESS specification:

*)
ENTITY specific_product_specification
  SUBTYPE OF (product_specification_or_set);
END_ENTITY;
(*

*)
END_SCHEMA;
(*