Application module: Part template 3D shape | ISO/TS 10303-1717:2018-11(E) © ISO |
This clause specifies the information requirements for the Part template 3D shape application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information requirements is given in Annex C.
NOTE 2 The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.
This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the Part_template_3d_shape_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Part_template_3d_shape_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Edge_shape_feature_arm;
--
ISO/TS 10303-1673
USE FROM
Layered_3d_shape_arm;
--
ISO/TS 10303-1694
USE FROM
Layered_interconnect_simple_template_arm;
--
ISO/TS 10303-1718
REFERENCE FROM
Requirement_decomposition_arm
--
ISO/TS 10303-1740
(get_rvd);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Edge_shape_feature_arm ISO/TS 10303-1673 Layered_3d_shape_arm ISO/TS 10303-1694 Layered_interconnect_simple_template_arm ISO/TS 10303-1718 Requirement_decomposition_arm ISO/TS 10303-1740
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.
The pt3ds_part_template_or_physical_unit_3d_shape_model_select type is an extension of the part_template_or_physical_unit_3d_shape_model_select type. It adds the data type Part_template_3d_shape_model to the list of alternate data types.
EXPRESS specification:
*)
TYPE
pt3ds_part_template_or_physical_unit_3d_shape_model_select =
SELECT
BASED_ON
part_template_or_physical_unit_3d_shape_model_select
WITH
(Part_template_3d_shape_model);
END_TYPE;
(*
The pt3ds_requirement_assignment_item type is an extension of the requirement_assignment_item type. It adds the data types Part_template_3d_shape_model, and Part_template_3d_keepout_shape_model to the list of alternate data types.
EXPRESS specification:
*)
TYPE
pt3ds_requirement_assignment_item =
SELECT
BASED_ON
requirement_assignment_item
WITH
(Part_template_3d_shape_model,
Part_template_3d_keepout_shape_model);
END_TYPE;
(*
This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.
An Edge_segment_cross_section is a type of Shape_definition_3d_intersection.
EXPRESS specification:
*)
ENTITY Edge_segment_cross_section
SUBTYPE OF (Shape_definition_3d_intersection);
SELF\Shape_definition_3d_intersection.surface_intersection_result : Edge_shape_model;
SELF\Shape_definition_3d_intersection.projected_volume : Part_template_3d_shape_model;
DERIVE
cross_section_reference : Edge_segment_vertex := SELF\Shape_definition_3d_intersection.projected_volume\Part_template_shape_model.shape_characterized_definition[1]\
Inter_stratum_feature_edge_segment_template.start_vertex;
associated_template : Template_definition := SELF\Shape_definition_3d_intersection.projected_volume\Part_template_shape_model.shape_characterized_definition[1];
INVERSE
referencing_template : Inter_stratum_feature_edge_segment_template_with_cross_section FOR cross_section;
WHERE
WR1: associated_template :=: referencing_template;
END_ENTITY;
(*
Attribute definitions:
surface_intersection_result: an attribute inherited from the Shape_definition_3d_intersection shall be redeclared as the Edge_shape_model for the Edge_segment_cross_section.
projected_volume: an attribute inherited from the Shape_definition_3d_intersection shall be redeclared as the Part_template_3d_shape_model for the Edge_segment_cross_section.
cross_section_reference: specifies a role of Edge_segment_vertex for Edge_segment_cross_section.
associated_template: specifies a role of Template_definition for Edge_segment_cross_section.
referencing_template: specifies an inverse relationship that specifies that the existence of the Edge_segment_cross_section is dependent on the existence of the Inter_stratum_feature_edge_segment_template_with_cross_section that specifies the Edge_segment_cross_section as its cross_section.
Formal propositions:
WR1: The associated_template shall also be a referencing_template.
EXPRESS specification:
*)
ENTITY Inter_stratum_feature_edge_segment_template_with_cross_section
SUBTYPE OF (Inter_stratum_feature_edge_segment_template);
cross_section : Edge_segment_cross_section;
END_ENTITY;
(*
Attribute definitions:
cross_section: specifies a role of the Edge_segment_cross_section for the Inter_stratum_feature_edge_segment_template_with_cross_section.
A Part_template_3d_keepout_shape_model is a type of Non_feature_shape_model and a type of Part_template_keepout_shape_model. A Part_template_3d_keepout_shape_model is the shape in three orthogonal dimensions of a keepout constraint for a Template_definition.
NOTE Keepout regions typically include some minimal spacing around the extreme shape.
EXPRESS specification:
*)
ENTITY Part_template_3d_keepout_shape_model
SUBTYPE OF (Non_feature_shape_model, Part_template_keepout_shape_model);
DERIVE
application_technology_constraint : SET[0:?] OF Requirement_view_definition := get_rvd(SELF, 'application technology constraint');
WHERE
WR1: (SIZEOF(application_technology_constraint) <= 1);
WR2: NOT EXISTS(SELF\Representation.name);
WR3: NOT EXISTS(SELF\Representation.description);
END_ENTITY;
(*
Attribute definitions:
application_technology_constraint: specifies a role of the Requirement_view_definition for the Part_template_3d_keepout_shape_model. There shall exist zero or more Requirement_view_definitions for the Part_template_3d_keepout_shape_model.
Formal propositions:
WR1: If application_technology_constraint is provided, then it's size shall be one.
WR2: The name shall not be populated.
WR3: The description shall not be populated.
EXPRESS specification:
*)
ENTITY Part_template_3d_shape_model
SUBTYPE OF (Part_template_shape_model);
WHERE
WR1: NOT EXISTS(SELF\Representation.name);
WR2: NOT EXISTS(SELF\Representation.description);
END_ENTITY;
(*
Formal propositions:
WR1: The name shall not be populated.
WR2: The description shall not be populated.
*)
END_SCHEMA; -- Part_template_3d_shape_arm
(*
© ISO 2018 — All rights reserved