Application module: Layer assignment | ISO/TS 10303-1008:2014-02(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 Layer_assignment_mim;
USE FROM
Foundation_representation_mim;
--
ISO/TS 10303-1006
USE FROM
Group_mim;
--
ISO/TS 10303-1113
USE FROM
presentation_organization_schema
--
ISO 10303-46
(presentation_layer_assignment);
USE FROM
geometry_schema
--
ISO 10303-42
(geometric_representation_item);
USE FROM
topology_schema
--
ISO 10303-42
(topological_representation_item);
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Foundation_representation_mim ISO/TS 10303-1006 Group_mim ISO/TS 10303-1113 presentation_organization_schema ISO 10303-46 geometry_schema ISO 10303-42 topology_schema ISO 10303-42
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 rep_item_group
SUBTYPE OF (group, representation_item);
WHERE
WR1: SIZEOF(USEDIN(SELF,'PRESENTATION_ORGANIZATION_SCHEMA.' + 'PRESENTATION_LAYER_ASSIGNMENT.' + 'ASSIGNED_ITEMS')) > 0;
WR2: SIZEOF(QUERY(r <* USEDIN(SELF,'REPRESENTATION_SCHEMA.' + 'REPRESENTATION.' + 'ITEMS') | r.name = 'group representation'))
> 0;
WR3: SIZEOF(QUERY(ga <* USEDIN(SELF,'MANAGEMENT_RESOURCES_SCHEMA.' + 'GROUP_ASSIGNMENT.' + 'ASSIGNED_GROUP') | ga.role.name
<> 'group membership')) = 0;
WR4: SIZEOF(['GEOMETRY_SCHEMA.' + 'GEOMETRIC_REPRESENTATION_ITEM',
'TOPOLOGY_SCHEMA.' + 'TOPOLOGICAL_REPRESENTATION_ITEM',
'REPRESENTATION_SCHEMA.' + 'MAPPED_ITEM',
'PRESENTATION_APPEARANCE_SCHEMA.' + 'STYLED_ITEM'] * TYPEOF(SELF)) = 1;
END_ENTITY;
(*
Formal propositions:
WR1: A rep_item_group shall be contained in the set of assigned_items of a presentation_layer_assignment.
WR2: A rep_item_group shall be contained in the set of items of a representation with a name of 'group representation'.
WR3: The rep_item_group shall only be referenced by group_assignments that reference as role an object_role that has a name of 'group membership'.
WR4: The items in a rep_item_group shall be of type geometric_representation_item, topological_representation_item, mapped_item, or styled_item.
*)
END_SCHEMA; -- Layer_assignment_mim
(*
© ISO 2014 — All rights reserved