AP scope  |  AP module  |  AP contents  |  AP index
Application module: Extended basic geometry ISO/TS 10303-1667: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 entity definitions
   4.3 ARM subtype constraint definitions
   4.4 ARM function definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM entity definitions
     5.2.2 MIM function definition

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

5.2 MIM EXPRESS short listing

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:

EXPRESS specification:

*)
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.

5.2.1 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.1.1 definitional_representation_relationship   EXPRESS-G

A definitional_representation_relationship is a type of representation_relationship that implements the ARM concept of Definitional_representation_relationship. The representation indicated by rep_1 is part of the definition indicated by rep_2.

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.

5.2.1.2 geometric_model_element_relationship   EXPRESS-G

A geometric_model_element_relationship is a type of geometric_representation_item and a type of representation_item_relationship that implements the ARM concept of Geometric_model_element_relationship.

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.

5.2.2 MIM function definition

This subclause specifies the MIM function for this module. The MIM function and definition is specified below.

5.2.2.1 acyclic_representation_relationship

The acyclic_representation_relationship function checks if specified representation_relationship is not participating in cycle with regards to specified representations.

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