Application module: Physical unit usage view ISO/TS 10303-1732:2019(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definitions
   4.3 ARM entity definitions
   4.4 ARM function definitions
   4.5 ARM rule definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definitions
     5.2.2 MIM entity definitions

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index

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:

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

EXPRESS specification:

*)
SCHEMA Physical_unit_usage_view_mim;

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   EXPRESS-G

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   EXPRESS-G

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   EXPRESS-G

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   EXPRESS-G

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   EXPRESS-G

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-G

A part_feature_template_definition is a type of group and a type of shape_feature_definition that implements the ARM concept of 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   EXPRESS-G

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

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-G

A usage_view_connection_zone_terminal_shape_relationship is a type of representation and a type of representation_relationship_with_transformation that implements the ARM concept of 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.



*)
END_SCHEMA;  -- Physical_unit_usage_view_mim
(*


© ISO 2019 — All rights reserved