Application module: Layered 3D shape | ISO/TS 10303-1694:2010-03(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 Layered_3d_shape_mim;
USE FROM
Layered_2d_shape_mim;
--
ISO/TS 10303-1693
USE FROM
Physical_unit_3d_shape_mim;
--
ISO/TS 10303-1727
USE FROM
Advanced_boundary_representation_mim;
--
ISO/TS 10303-1514
USE FROM
Curve_swept_solid_mim;
--
ISO/TS 10303-1659
USE FROM
Geometrically_bounded_surface_mim;
--
ISO/TS 10303-1507
USE FROM
Geometric_model_2d_3d_relationship_mim;
--
ISO/TS 10303-1404
USE FROM
representation_schema
--
ISO 10303-43
(representation_relationship_with_transformation);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Layered_2d_shape_mim ISO/TS 10303-1693 Physical_unit_3d_shape_mim ISO/TS 10303-1727 Advanced_boundary_representation_mim ISO/TS 10303-1514 Curve_swept_solid_mim ISO/TS 10303-1659 Geometrically_bounded_surface_mim ISO/TS 10303-1507 Geometric_model_2d_3d_relationship_mim ISO/TS 10303-1404 representation_schema ISO 10303-43
NOTE 2 See Annex D, Figures D.1and D.2 for a graphical representation of this schema.
This subclause specifies the MIM entity for this module. The MIM entity and definition is specified below.
EXPRESS specification:
*)
ENTITY shape_definition_3d_intersection
SUBTYPE OF (representation, representation_relationship_with_transformation, shape_representation_relationship);
SELF\representation_relationship_with_transformation.transformation_operator : item_defined_transformation;
UNIQUE
UR1:
SELF\representation_relationship.rep_1,
SELF\representation_relationship.rep_2;
WHERE
WR1: SELF\representation_relationship.rep_1 :<>: SELF\representation_relationship.rep_2;
END_ENTITY;
(*
Attribute definitions:
transformation_operator: specifies a role of the item_defined_transformation for the shape_definition_3d_intersection.
Formal propositions:
UR1: The combination of rep_1 and rep_2 shall be unique within a population of shape_definition_3d_intersection.
WR1: The rep_1 shall not be rep_2.
*)
END_SCHEMA; -- Layered_3d_shape_mim
(*
© ISO 2009 — All rights reserved