|
|
Application module:
Compound shape representation |
ISO/TS 10303-1327: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:
-
use of a supertype entity does not make applicable any of its
specializations, unless the specialization is also imported in the
MIM schema;
-
use of a SELECT type does not make applicable any of its listed types
unless the listed type is also imported in the MIM schema.
EXPRESS specification:
*)
SCHEMA Compound_shape_representation_mim;
USE FROM
Edge_based_wireframe_mim;
--
ISO/TS 10303-1501
USE FROM
Non_manifold_surface_mim;
--
ISO/TS 10303-1324
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Edge_based_wireframe_mim |
ISO/TS 10303-1501 |
| Non_manifold_surface_mim |
ISO/TS 10303-1324 |
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.
A compound_shape_representation is a type of
shape_representation
that implements the ARM concept of
Compound_shape_representation.
A compound_shape_representation represents the shape or a portion of the shape of a product using elements of different dimensionality
such as wireframes or surface models that are topologically connected.
The topology of a compound_shape_representation may be non-manifold.
EXPRESS specification:
*)
ENTITY compound_shape_representation
SUBTYPE OF (shape_representation);
WHERE
WR1: ( 'GEOMETRY_SCHEMA.'+ 'GEOMETRIC_REPRESENTATION_CONTEXT'
IN TYPEOF ( SELF.context_of_items ) ) AND (
SELF.context_of_items\
geometric_representation_context.coordinate_space_dimension =3 );
WR2: SIZEOF ( QUERY ( cbsr_i <* SELF.items | SIZEOF (
['GEOMETRIC_MODEL_SCHEMA.'+ 'EDGE_BASED_WIREFRAME_MODEL' ,
'GEOMETRIC_MODEL_SCHEMA.'+ 'FACE_BASED_SURFACE_MODEL' ,
'REPRESENTATION_SCHEMA.'+ 'MAPPED_ITEM' , 'GEOMETRY_SCHEMA.'+
'AXIS2_PLACEMENT_3D']* TYPEOF ( cbsr_i ) ) <>1 ) ) =0;
WR3: SIZEOF ( QUERY ( cbsr_i <* SELF.items | SIZEOF (
['GEOMETRIC_MODEL_SCHEMA.'+ 'EDGE_BASED_WIREFRAME_MODEL' ,
'GEOMETRIC_MODEL_SCHEMA.'+ 'FACE_BASED_SURFACE_MODEL' ,
'REPRESENTATION_SCHEMA.'+ 'MAPPED_ITEM']* TYPEOF ( cbsr_i ) ) =1 ) ) >0;
WR4: SIZEOF ( QUERY ( cbsr_i <* SELF.items | (
'REPRESENTATION_SCHEMA.'+ 'MAPPED_ITEM' IN TYPEOF ( cbsr_i ) )
AND ( SIZEOF ( ['COMPOUND_SHAPE_REPRESENTATION_MIM.'+
'COMPOUND_SHAPE_REPRESENTATION' , 'AIC_EDGE_BASED_WIREFRAME.'+
'EDGE_BASED_WIREFRAME_SHAPE_REPRESENTATION' ,
'AIC_NON_MANIFOLD_SURFACE.'+
'NON_MANIFOLD_SURFACE_SHAPE_REPRESENTATION']* TYPEOF (
cbsr_i\ mapped_item.mapping_source ) ) <>1 ) ) ) =0;
END_ENTITY;
(*
Formal propositions:
WR1:
The compound_shape_representation shall have a
coordinate_space_dimension
equal to three.
WR2:
The
items
in the compound_shape_representation shall be of type
edge_based_wireframe_model,
face_based_surface_model,
mapped_item
or
axis2_placement_3d.
WR3:
The
items
of a compound_shape_representation shall include at least one
mapped_item
or one
edge_based_wireframe_model
or one
face_based_surface_model.
WR4:
If there is a
mapped_item
in a compound_shape_representation, the source of the
mapped_item
shall be a compound_shape_representation, a
edge_based_wireframe_shape_representation,
or a
non_manifold_surface_shape_representation.
Informal propositions:
IP1:
All elements in a compound_shape_representation shall be topologically connected.
*)
END_SCHEMA; -- Compound_shape_representation_mim
(*
© ISO 2008 — All rights reserved
