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 Functional_usage_view_mim;    --  ISO/TS 10303-1705



USE FROM Physical_connectivity_layout_topology_requirement_mim;    --  ISO/TS 10303-1826



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



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

Functional_usage_view_mim	ISO/TS 10303-1705
Physical_connectivity_layout_topology_requirement_mim	ISO/TS 10303-1826
Physical_unit_usage_view_mim	ISO/TS 10303-1732

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 fatp_groupable_item   

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

EXPRESS specification:

*)
TYPE fatp_groupable_item = SELECT BASED_ON groupable_item WITH
   (part_connected_terminals_definition);
END_TYPE;
(*

5.2.1.2 fatp_requirement_assigned_item   

The fatp_requirement_assigned_item type is an extension of the requirement_assigned_item type. It adds the data types part_connected_terminals_element, and part_connected_terminals_definition to the list of alternate data types.

EXPRESS specification:

*)
TYPE fatp_requirement_assigned_item = SELECT BASED_ON requirement_assigned_item WITH
   (part_connected_terminals_element,
    part_connected_terminals_definition);
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 part_connected_terminals_definition   

A part_connected_terminals_definition is a type of shape_aspect that implements the ARM concept of Part_connected_terminals_definition.

EXPRESS specification:

*)
ENTITY part_connected_terminals_definition
  SUBTYPE OF (shape_aspect);
UNIQUE
  UR1: SELF\shape_aspect.name;
END_ENTITY;
(*

Formal propositions:

UR1: The name shall be unique within a population of part_connected_terminals_definitions.

5.2.2.2 part_connected_terminals_definition_domain   

EXPRESS specification:

*)
ENTITY part_connected_terminals_definition_domain
  SUBTYPE OF (shape_aspect);
END_ENTITY;
(*

5.2.2.3 part_connected_terminals_element   

EXPRESS specification:

*)
ENTITY part_connected_terminals_element
  SUBTYPE OF (shape_aspect, shape_aspect_relationship);
END_ENTITY;
(*

5.2.2.4 part_connected_terminals_layout_topology_requirement_assignment   

EXPRESS specification:

*)
ENTITY part_connected_terminals_layout_topology_requirement_assignment
  SUBTYPE OF (requirement_assignment);
END_ENTITY;
(*

5.2.2.5 part_connected_terminals_structure_definition   

EXPRESS specification:

*)
ENTITY part_connected_terminals_structure_definition
  SUBTYPE OF (part_connected_terminals_definition);
END_ENTITY;
(*

© ISO 2018 — All rights reserved