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 application_context_schema    --  ISO 10303-41
  (application_context_element);



USE FROM Feature_and_connection_zone_mim;    --  ISO/TS 10303-1671



USE FROM Item_definition_structure_mim;    --  ISO/TS 10303-1345



USE FROM material_property_definition_schema    --  ISO 10303-45
  (property_definition_relationship);



USE FROM Part_feature_location_mim;    --  ISO/TS 10303-1714



USE FROM Part_shape_mim;    --  ISO/TS 10303-1807



USE FROM Requirement_assignment_mim;    --  ISO/TS 10303-1233



USE FROM Shape_composition_mim;    --  ISO/TS 10303-1742
(*



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

application_context_schema	ISO 10303-41
Feature_and_connection_zone_mim	ISO/TS 10303-1671
Item_definition_structure_mim	ISO/TS 10303-1345
material_property_definition_schema	ISO 10303-45
Part_feature_location_mim	ISO/TS 10303-1714
Part_shape_mim	ISO/TS 10303-1807
Requirement_assignment_mim	ISO/TS 10303-1233
Shape_composition_mim	ISO/TS 10303-1742

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

5.2.1 MIM type definitions

This subclause specifies the MIM types for this application module. The MIM types and definitions are specified below.

5.2.1.1 puuv_groupable_item   

The puuv_groupable_item type is an extension of the groupable_item type. It adds the data type shape_aspect to the list of alternate data types.

EXPRESS specification:

*)
TYPE puuv_groupable_item = SELECT BASED_ON groupable_item WITH
   (shape_aspect);
END_TYPE;
(*

5.2.1.2 puuv_requirement_assigned_item   

The puuv_requirement_assigned_item type is an extension of the requirement_assigned_item type. It adds the data types product_definition and shape_aspect to the list of alternate data types.

EXPRESS specification:

*)
TYPE puuv_requirement_assigned_item = SELECT BASED_ON requirement_assigned_item WITH
   (product_definition,
    shape_aspect);
END_TYPE;
(*

5.2.1.3 puuv_document_reference_item   

The puuv_document_reference_item type is an extension of the document_reference_item type. It adds the data type shape_aspect to the list of alternate data types.

EXPRESS specification:

*)
TYPE puuv_document_reference_item = SELECT BASED_ON document_reference_item WITH
   (shape_aspect);
END_TYPE;
(*

5.2.2 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.2.1 connection_zone_map_identification   

A connection_zone_map_identification is a type of representation_relationship and a type of shape_aspect that implements the ARM concept of Connection_zone_map_identification.

EXPRESS specification:

*)
ENTITY connection_zone_map_identification
  SUBTYPE OF (shape_aspect, representation_relationship);
  SELF\representation_relationship.rep_1 : usage_view_connection_zone_terminal_shape_relationship;
  SELF\representation_relationship.rep_2 : usage_view_connection_zone_terminal_shape_relationship;
WHERE
  WR1: SELF\representation_relationship.rep_2 :<>: SELF\representation_relationship.rep_1;
END_ENTITY;
(*

Attribute definitions:

rep_1: specifies the role of the usage_view_connection_zone_terminal_shape_relationship for the connection_zone_map_identification.

rep_2: specifies the role of the usage_view_connection_zone_terminal_shape_relationship for the connection_zone_map_identification.

Formal propositions:

WR1: The related zone shall not be the relating zone.

5.2.2.2 make_from_part_feature_relationship   

A make_from_part_feature_relationship is a type of shape_aspect and a type of shape_aspect_relationship that implements the ARM concept of Part_feature_make_from_relationship.

EXPRESS specification:

*)
ENTITY make_from_part_feature_relationship
  SUBTYPE OF (shape_aspect, shape_aspect_relationship);
UNIQUE
  UR1: SELF\shape_aspect_relationship.relating_shape_aspect, SELF\shape_aspect_relationship.related_shape_aspect;
WHERE
  WR1: SELF\shape_aspect.product_definitional = FALSE;
END_ENTITY;
(*

Formal propositions:

UR1: The combination of related_shape_aspect and relating_shape_aspect shall be unique within a population of make_from_part_feature_relationships.

WR1: The make_from_part_feature_relationship shall not be on the boundary of the part or template.

5.2.2.3 part_feature_template_definition   

EXPRESS specification:

*)
ENTITY part_feature_template_definition
  SUBTYPE OF (shape_feature_definition, group);
WHERE
  WR1: SELF\group.name = SELF\characterized_object.name;
  WR2: SELF\group.description = SELF\characterized_object.description;
END_ENTITY;
(*

Formal propositions:

WR1: The group.name shall be equal to characterized_object.name.

WR2: The group.description shall be equal to characterized_object.description.

5.2.2.4 physical_unit   

A physical_unit is a type of product_definition and a type of product_definition_shape that implements the ARM concepts of:

• Assembly_module_design_view;
• Assembly_module_usage_view;
• Generic_product_view_definition_reference;
• Product_view_definition;
• Interconnect_module_design_view;
• Interconnect_module_usage_view;
• Part_view_definition;
• Part_design_view;
• Part_usage_view.

EXPRESS specification:

*)
ENTITY physical_unit
  SUBTYPE OF (product_definition, product_definition_shape);
DERIVE
  SELF\property_definition.definition : physical_unit := SELF;
WHERE
  WR1: SIZEOF(USEDIN(SELF, 'BASIC_ATTRIBUTE_SCHEMA.NAME_ATTRIBUTE.NAMED_ITEM')) = 0;
  WR2: NOT EXISTS(SELF\property_definition.description);
END_ENTITY;
(*

Attribute definitions:

definition: an inherited attribute shall be of type physical_unit for the physical_unit.

Formal propositions:

WR1: No member of entity data type physical_unit shall be referenced by a member of entity data type name_attribute as a named_item.

WR2: The description shall not be populated.

5.2.2.5 usage_view_connection_zone_terminal_shape_relationship   

EXPRESS specification:

*)
ENTITY usage_view_connection_zone_terminal_shape_relationship
  SUBTYPE OF (representation, representation_relationship_with_transformation);
  SELF\representation_relationship.rep_1 : shape_representation;
  SELF\representation_relationship.rep_2 : shape_representation;
UNIQUE
  UR1: SELF\representation_relationship.rep_1, SELF\representation_relationship.rep_2;
WHERE
  WR1: SELF\representation_relationship.rep_1 <> SELF\representation_relationship.rep_2;
END_ENTITY;
(*

Attribute definitions:

rep_1: specifies the role of the shape_representation for the usage_view_connection_zone_terminal_shape_relationship.

rep_2: specifies the role of the shape_representation for the usage_view_connection_zone_terminal_shape_relationship.

Formal propositions:

UR1: The combination of rep_1 and rep_2 shall be unique within a population of usage_view_connection_zone_terminal_shape_relationships.

WR1: The usage_view_connection_zone_terminal_shape_relationship rep_1 shall not be the rep_2.

© ISO 2019 — All rights reserved