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 Shape_feature_mim;    --  ISO/TS 10303-1764



USE FROM Physical_unit_usage_view_mim;    --  ISO/TS 10303-1732



USE FROM product_property_representation_schema    --  ISO 10303-41
  (item_identified_representation_usage);
(*



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

Shape_feature_mim	ISO/TS 10303-1764
Physical_unit_usage_view_mim	ISO/TS 10303-1732
product_property_representation_schema	ISO 10303-41

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 usage_concept_usage_relationship   

EXPRESS specification:

*)
ENTITY usage_concept_usage_relationship
  SUBTYPE OF (mapped_item, item_identified_representation_usage);
  SELF\item_identified_representation_usage.used_representation : shape_representation;
  SELF\item_identified_representation_usage.definition : shape_aspect;
DERIVE
  SELF\item_identified_representation_usage.identified_item : usage_concept_usage_relationship := SELF;
WHERE
  WR1: SELF IN SELF\item_identified_representation_usage.used_representation.items;
END_ENTITY;
(*

Attribute definitions:

used_representation: an attribute inherited from the item_identified_representation_usage shall be redeclared as the shape_representation.

definition: an attribute inherited from the item_identified_representation_usage shall be redeclared as the shape_aspect.

identified_item: an attribute inherited from the item_identified_representation_usage shall be redeclared as the usage_concept_usage_relationship.

Formal propositions:

WR1: Each usage_concept_usage_relationship shall be a member of representation.items of used_representation.

© ISO 2018 — All rights reserved