4 Information requirements

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.

4.1 Required AM ARMs

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.

4.2 ARM type definitions

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

4.2.1 pt3ds_part_template_or_physical_unit_3d_shape_model_select   

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;
(*

4.2.2 pt3ds_requirement_assignment_item   

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;
(*

4.3 ARM entity definitions

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.

4.3.1 Edge_segment_cross_section   

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.

4.3.2 Inter_stratum_feature_edge_segment_template_with_cross_section   

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.

4.3.3 Part_template_3d_keepout_shape_model   

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.

4.3.4 Part_template_3d_shape_model   

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.

© ISO 2018 — All rights reserved