5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

• use of a supertype entity does not make applicable any of its specializations, unless the specialization is also imported in the MIM schema;
• use of a SELECT type does not make applicable any of its listed types unless the listed type is also imported in the MIM schema.

Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.

USE FROM Part_view_definition_mim;    --  ISO/TS 10303-1023



USE FROM product_structure_schema    --  ISO 10303-44
  (make_from_usage_option);



USE FROM Product_view_definition_relationship_mim;    --  ISO/TS 10303-1041



USE FROM Value_with_unit_mim;    --  ISO/TS 10303-1054
(*



NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Part_view_definition_mim	ISO/TS 10303-1023
product_structure_schema	ISO 10303-44
Product_view_definition_relationship_mim	ISO/TS 10303-1041
Value_with_unit_mim	ISO/TS 10303-1054

NOTE 2   See Annex D, Figures D.1and D.2 for a graphical representation of this schema.

5.2.1 MIM entity definition

This subclause specifies the MIM entity for this module. The MIM entity and definition is specified below.

5.2.1.1 definitional_product_definition_usage   

EXPRESS specification:

*)
ENTITY definitional_product_definition_usage
  SUBTYPE OF (product_definition_usage);
UNIQUE
  UR1: relating_product_definition, related_product_definition;
END_ENTITY;
(*

Formal propositions:

UR1: The combination of the inherited attributes relating_product_definition and related_product_definition shall be unique within a population of definitional_product_definition_usage.

© ISO 2019 — All rights reserved