AP scope | AP module | AP contents | AP index | |
Application module: Extended basic geometry | ISO/TS 10303-1667:2006(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:
*)
SCHEMA Extended_basic_geometry_mim;
USE FROM
Basic_geometry_mim;
--
ISO/TS 10303-1652
USE FROM
Shape_property_assignment_mim;
--
ISO/TS 10303-1032
USE FROM
representation_schema
--
ISO 10303-43
(mapped_item,
representation_item_relationship,
representation_map,
representation_relationship_with_transformation,
transformation);
USE FROM
geometry_schema
--
ISO 10303-42
(vector);
REFERENCE FROM
support_resource_schema
--
ISO 10303-41
(bag_to_set);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Basic_geometry_mim ISO/TS 10303-1652 Shape_property_assignment_mim ISO/TS 10303-1032 representation_schema ISO 10303-43 geometry_schema ISO 10303-42 support_resource_schema ISO 10303-41
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.
NOTE A representation_relationship by itself is not making one representation part of the definition of the other like it is the case with mapped_item. The definitional_representation_relationship acts in a similar way as mapped_item.
EXPRESS specification:
*)
ENTITY definitional_representation_relationship
SUBTYPE OF (representation_relationship);
WHERE
WR1: acyclic_representation_relationship(SELF,
[SELF\representation_relationship.rep_2],
'REPRESENTATION_SCHEMA.'+
'REPRESENTATION');
END_ENTITY;
(*
Formal propositions:
WR1: The definitional_representation_relationship shall not participate in cycles.
EXPRESS specification:
*)
ENTITY geometric_model_element_relationship
SUBTYPE OF (geometric_representation_item, representation_item_relationship);
UNIQUE
UR1:
SELF\representation_item_relationship.relating_representation_item,
SELF\representation_item_relationship.related_representation_item;
WHERE
WR1: SELF\representation_item_relationship.relating_representation_item :<>:
SELF\representation_item_relationship.related_representation_item;
END_ENTITY;
(*
Formal propositions:
UR1: The combination of relating_representation_item and related_representation_item shall be unique within a population of geometric_model_element_relationship.
WR1: The relating_representation_item shall not be related_representation_item.
This subclause specifies the MIM function for this module. The MIM function and definition is specified below.
EXPRESS specification:
*)
FUNCTION acyclic_representation_relationship (relation : representation_relationship; relatives : SET[1:?] OF representation; specific_relation : STRING) :BOOLEAN;
LOCAL x : SET OF representation_relationship; END_LOCAL; IF relation.rep_1 IN relatives THEN RETURN (FALSE); END_IF; x := QUERY(r <* bag_to_set(USEDIN(relation.rep_1, 'REPRESENTATION_SCHEMA.' + 'REPRESENTATION_RELATIONSHIP.' + 'REP_2')) | specific_relation IN TYPEOF(r)); REPEAT i := 1 TO HIINDEX(x); IF NOT acyclic_representation_relationship(x[i], relatives + relation.rep_1, specific_relation) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE);
END_FUNCTION;
(*
Argument definitions:
relation: the specified representation_relationship.
relatives: the specified representations.
specific_relation: the specified type of Representation_relationships to be considered.
*)
END_SCHEMA; -- Extended_basic_geometry_mim
(*
© ISO 2006 — All rights reserved