AP scope  |  AP module  |  AP contents  |  AP index
Application module: Contextual shape positioning ISO/TS 10303-1027:2006(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definitions
   4.3 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing

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

4 Information requirements

This clause specifies the information requirements for the Contextual shape positioning 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.

The following EXPRESS specification begins the Contextual_shape_positioning_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Contextual_shape_positioning_arm;
(*

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 Extended_basic_geometry_arm;    --  ISO/TS 10303-1667

USE FROM Foundation_representation_arm;    --  ISO/TS 10303-1006

USE FROM Shape_property_assignment_arm;    --  ISO/TS 10303-1032
(*

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

Extended_basic_geometry_arm ISO/TS 10303-1667
Foundation_representation_arm ISO/TS 10303-1006
Shape_property_assignment_arm ISO/TS 10303-1032

NOTE 2   See Annex C, Figures C.1, C.2and C.3 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 template_definition_select   EXPRESS-G

EXPRESS specification:

*)
TYPE template_definition_select = EXTENSIBLE SELECT
   (Geometric_model);
END_TYPE;
(*

4.2.2 template_instance   EXPRESS-G

EXPRESS specification:

*)
TYPE template_instance = SELECT
   (Geometric_placement_operation,
    Geometric_model_relationship_with_transformation);
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 Contextual_shape_representation   EXPRESS-GMapping table

A Contextual_shape_representation is a relationship that relates a Contextual_item_shape and a Geometric_model_relationship.

EXPRESS specification:

*)
ENTITY Contextual_shape_representation;
  contextual_shape : Contextual_item_shape;
  representing_relationship : Geometric_model_relationship;
DERIVE
  context_representation : Geometric_model := representing_relationship.rep_2;
  positioned_representation : Geometric_model := representing_relationship.rep_1;
END_ENTITY;
(*

Attribute definitions:

contextual_shape: specifies a role of the Contextual_item_shape for the Contextual_shape_representation.

representing_relationship: specifies a role of the Geometric_model_relationship for the Contextual_shape_representation.

context_representation: specifies the Geometric_model in which the representation of the contextual shape is characterized.

positioned_representation: specifies the Geometric_model that contains the representation of the contextual shape in the context representation.

4.3.2 Geometric_composition_with_operator_transformation   EXPRESS-GMapping table

A Geometric_composition_with_operator_transformation is a type of Geometric_relationship_with_operator_transformation and a type of Definitional_representation_relationship.

EXPRESS specification:

*)
ENTITY Geometric_composition_with_operator_transformation
  SUBTYPE OF (Geometric_relationship_with_operator_transformation, Definitional_representation_relationship);
END_ENTITY;
(*

4.3.3 Geometric_composition_with_placement_transformation   EXPRESS-GMapping table

A Geometric_composition_with_placement_transformation is a type of Geometric_relationship_with_placement_transformation and a type of Definitional_representation_relationship.

EXPRESS specification:

*)
ENTITY Geometric_composition_with_placement_transformation
  SUBTYPE OF (Geometric_relationship_with_placement_transformation, Definitional_representation_relationship);
END_ENTITY;
(*

4.3.4 Geometric_model_relationship_with_transformation   EXPRESS-GMapping table

A Geometric_model_relationship_with_transformation is a type of Geometric_model_relationship. A Geometric_model_relationship_with_transformation may be a Geometric_relationship_with_placement_transformation or a Geometric_relationship_with_operator_transformation

EXPRESS specification:

*)
ENTITY Geometric_model_relationship_with_transformation
  ABSTRACT SUPERTYPE OF (ONEOF (Geometric_relationship_with_placement_transformation,
                                Geometric_relationship_with_operator_transformation))
  SUBTYPE OF (Geometric_model_relationship);
WHERE
  WR1: rep_1.context_of_items <> rep_2.context_of_items;
END_ENTITY;
(*

Formal propositions:

WR1: Both geometric representations shall belong to different geometric contexts.

4.3.5 Geometric_operator_transformation   EXPRESS-GMapping table

A Geometric_operator_transformation is a type of Geometric_placement_operation.

EXPRESS specification:

*)
ENTITY Geometric_operator_transformation
  SUBTYPE OF (Geometric_placement_operation);
  target : cartesian_transformation;
END_ENTITY;
(*

Attribute definitions:

target: the cartesian_transformation that identifies the target of the transformation.

4.3.6 Geometric_placement   EXPRESS-GMapping table

A Geometric_placement is a type of Geometric_placement_operation.

EXPRESS specification:

*)
ENTITY Geometric_placement
  SUBTYPE OF (Geometric_placement_operation);
  target : Axis_placement;
END_ENTITY;
(*

Attribute definitions:

target: the Axis_placement that identifies the target of the placement.

4.3.7 Geometric_placement_model   EXPRESS-GMapping table

A Geometric_placement_model is a type of Geometric_model.

EXPRESS specification:

*)
ENTITY Geometric_placement_model
  SUBTYPE OF (Geometric_model);
  SELF\Representation.items : SET[1:1] OF Geometric_placement_operation;
END_ENTITY;
(*

Attribute definitions:

items: specifies the Geometric_placement_operation for the Geometric_placement_model. There shal exist exactly one Geometric_placement_operation for the Geometric_placement_model.

4.3.8 Geometric_placement_operation   EXPRESS-GMapping table

A Geometric_placement_operation is a type of Detailed_geometric_model_element. A Geometric_placement_operation may be a Geometric_placement or a Geometric_operator_transformation.

EXPRESS specification:

*)
ENTITY Geometric_placement_operation
  ABSTRACT SUPERTYPE OF (ONEOF (Geometric_placement,
                                Geometric_operator_transformation))
  SUBTYPE OF (Detailed_geometric_model_element);
  source : Axis_placement;
  template_definition : template_definition_select;
END_ENTITY;
(*

Attribute definitions:

source: the Axis_placement that identifies the source of the operation.

template_definition: the value from template_definition_select.

4.3.9 Geometric_relationship_with_operator_transformation   EXPRESS-GMapping table

A Geometric_relationship_with_operator_transformation is a type of Geometric_model_relationship_with_transformation.

EXPRESS specification:

*)
ENTITY Geometric_relationship_with_operator_transformation
  SUBTYPE OF (Geometric_model_relationship_with_transformation);
  transformation : cartesian_transformation;
WHERE
  WR1: rep_1.context_of_items\Geometric_coordinate_space.dimension_count :=: rep_2.context_of_items\Geometric_coordinate_space.dimension_count;
END_ENTITY;
(*

Attribute definitions:

transformation: the cartesian_transformation that identifies the transformation for the Geometric_relationship_with_operator_transformation.

Formal propositions:

WR1: Both geometric representations shall have the same dimensionality.

4.3.10 Geometric_relationship_with_placement_transformation   EXPRESS-GMapping table

A Geometric_relationship_with_placement_transformation is a type of Geometric_model_relationship_with_transformation.

EXPRESS specification:

*)
ENTITY Geometric_relationship_with_placement_transformation
  SUBTYPE OF (Geometric_model_relationship_with_transformation);
  transformation : Axis_placement_mapping;
WHERE
  WR1: rep_1.context_of_items\Geometric_coordinate_space.dimension_count :=: rep_2.context_of_items\Geometric_coordinate_space.dimension_count;
END_ENTITY;
(*

Attribute definitions:

transformation: the Axis_placement_mapping that identifies the transformation for the Geometric_relationship_with_placement_transformation.

Formal propositions:

WR1: Both geometric representations must have the same dimensionality.

4.3.11 Shape_placement_association   EXPRESS-GMapping table

A Shape_placement_association is a type of Shape_description_association.

EXPRESS specification:

*)
ENTITY Shape_placement_association
  SUBTYPE OF (Shape_description_association);
  SELF\Shape_description_association.representation : Geometric_placement_model;
  SELF\Shape_description_association.represented_characteristic : Contextual_item_shape;
END_ENTITY;
(*

Attribute definitions:

representation: specifies the Geometric_placement_model for the Shape_placement_association.

represented_characteristic: specifies the Contextual_item_shape for the Shape_placement_association.



*)
END_SCHEMA;  -- Contextual_shape_positioning_arm
(*


© ISO 2006 — All rights reserved