Application module: Construction geometry ISO/TS 10303-1131:2019(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

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

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
F Change history
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:

Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.

EXPRESS specification:

*)
SCHEMA Construction_geometry_mim;

USE FROM aic_topologically_bounded_surface;    --  ISO 10303-511

USE FROM Basic_curve_mim;    --  ISO/TS 10303-1651

USE FROM geometry_schema;    --  ISO 10303-42

USE FROM representation_schema    --  ISO 10303-43
  (mapped_item,
   representation,
   representation_map,
   representation_relationship);

USE FROM topology_schema;    --  ISO 10303-42
(*

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

aic_topologically_bounded_surface ISO 10303-511
Basic_curve_mim ISO/TS 10303-1651
geometry_schema ISO 10303-42
representation_schema ISO 10303-43
topology_schema ISO 10303-42

NOTE 2   See Annex D, Figures D.1and D.2 for a graphical representation of this schema.

5.2.1 MIM type definition

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

5.2.1.1 constructive_geometry_representation_or_shape_representation   EXPRESS-G

The constructive_geometry_representation_or_shape_representation type allows for the designation of the data types constructive_geometry_representation and shape_representation.

EXPRESS specification:

*)
TYPE constructive_geometry_representation_or_shape_representation = SELECT
   (constructive_geometry_representation,
    shape_representation);
END_TYPE;
(*

5.2.2 MIM entity definitions

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

5.2.2.1 constructive_geometry_representation   EXPRESS-G

A constructive_geometry_representation is a type of representation that implements the ARM concept of Constructive_geometry. A constructive_geometry_representation is a collection of geometric elements used to support the definition of the geometry that is representing a shape or a shape element.

EXPRESS specification:

*)
ENTITY constructive_geometry_representation
  SUBTYPE OF (representation);
WHERE
  WR1: ('GEOMETRY_SCHEMA.GEOMETRIC_REPRESENTATION_CONTEXT' IN TYPEOF(SELF\representation.context_of_items)) AND ({2 <= SELF\representation.context_of_items\geometric_representation_context.coordinate_space_dimension <= 3});
  WR2: SIZEOF( QUERY( cgr_i <* SELF.items | SIZEOF([ 'GEOMETRY_SCHEMA.PLACEMENT', 'GEOMETRY_SCHEMA.CURVE', 'GEOMETRY_SCHEMA.EDGE', 'TOPOLOGY_SCHEMA.FACE', 'GEOMETRY_SCHEMA.POINT', 'GEOMETRY_SCHEMA.SURFACE', 'TOPOLOGY_SCHEMA.CONNECTED_FACE_SET', 'TOPOLOGY_SCHEMA.CONNECTED_EDGE_SET', 'TOPOLOGY_SCHEMA.VERTEX_POINT' ] * TYPEOF(cgr_i)) <> 1 )) = 0;
  WR3: SIZEOF( USEDIN( SELF, 'REPRESENTATION_SCHEMA.' + 'REPRESENTATION_RELATIONSHIP.REP_2') ) > 0;
END_ENTITY;
(*

Formal propositions:

WR1: The constructive_geometry_representation shall have a geometric_representation_context as its context_of_items. This geometric_representation_context shall have a coordinate_space_dimension of value 2 or 3.

WR2: The items in the constructive_geometry_representation shall be of type placement, curve, edge, face, point, surface, face_surface or vertex_point.

WR3: The constructive_geometry_representation shall play the role of rep_2 for at least one constructive_geometry_representation_relationship.

5.2.2.2 constructive_geometry_representation_relationship   EXPRESS-G

A constructive_geometry_representation_relationship is a type of representation_relationship that implements the ARM concept of Constructive_geometry_association. A constructive_geometry_representation_relationship associates a shape_representation with a constructive_geometry_representation that contains geometric elements used for the definition of the shape geometry.

EXAMPLE    The constructive_geometry_representation may contain axis placements that were used to locate planar surfaces.

The constructive_geometry_representation may associate two constructive_geometry_representations to create a representation in more than one step.

EXPRESS specification:

*)
ENTITY constructive_geometry_representation_relationship
  SUBTYPE OF (representation_relationship);
  SELF\representation_relationship.rep_1 : constructive_geometry_representation_or_shape_representation;
  SELF\representation_relationship.rep_2 : constructive_geometry_representation;
WHERE
  WR1: (SELF.rep_1.context_of_items :=: SELF.rep_2.context_of_items) AND ('GEOMETRY_SCHEMA.GEOMETRIC_REPRESENTATION_CONTEXT' IN TYPEOF(SELF.rep_1.context_of_items));
  WR2: NOT('REPRESENTATION_SCHEMA.' + 'REPRESENTATION_RELATIONSHIP_WITH_TRANSFORMATION' IN TYPEOF(SELF));
END_ENTITY;
(*

Attribute definitions:

rep_1: an attribute inherited from the representation_relationship shall be redeclared as the constructive_geometry_representation_or_shape_representation for the constructive_geometry_representation_relationship.

rep_2: an attribute inherited from the representation_relationship shall be redeclared as the constructive_geometry_representation for the constructive_geometry_representation_relationship.

Formal propositions:

WR1: Both representations playing the roles of rep_1 and rep_2 of the constructive_geometry_representation_relationship shall share the same geometric_representation_context.

WR2: The constructive_geometry_representation_relationship shall not be of type representation_relationship_with_transformation.



*)
END_SCHEMA;  -- Construction_geometry_mim
(*


© ISO 2019 — All rights reserved