AP scope | AP module | AP contents | AP index | |
Application module: Contextual shape positioning | ISO/TS 10303-1027:2006(E) © ISO |
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;
(*
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.
This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.
EXPRESS specification:
*)
TYPE
template_definition_select =
EXTENSIBLE
SELECT
(Geometric_model);
END_TYPE;
(*
EXPRESS specification:
*)
TYPE
template_instance =
SELECT
(Geometric_placement_operation,
Geometric_model_relationship_with_transformation);
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.
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.
EXPRESS specification:
*)
ENTITY Geometric_composition_with_operator_transformation
SUBTYPE OF (Geometric_relationship_with_operator_transformation, Definitional_representation_relationship);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Geometric_composition_with_placement_transformation
SUBTYPE OF (Geometric_relationship_with_placement_transformation, Definitional_representation_relationship);
END_ENTITY;
(*
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.
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.
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.
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.
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.
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.
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.
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