Application module: Physical unit usage view | ISO/TS 10303-1732:2019(E) © ISO |
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.
This subclause specifies the MIM types for this application module. The MIM types and definitions are specified below.
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;
(*
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;
(*
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;
(*
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
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.
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.
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.
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.
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