Application module: Group ISO/TS 10303-1113: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 ARM type definition
   4.2 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 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 Group_mim;

USE FROM group_schema    --  ISO 10303-41
  (group,
   group_relationship);

USE FROM management_resources_schema    --  ISO 10303-41
  (group_assignment);

USE FROM basic_attribute_schema    --  ISO 10303-41
  (id_attribute,
   id_attribute_select);
(*

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

group_schema ISO 10303-41
management_resources_schema ISO 10303-41
basic_attribute_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 type definition

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

5.2.1.1 groupable_item   EXPRESS-G

The groupable_item type is an extensible list of alternate data types. Additional alternate data types are specified in select data types that extend the groupable_item type.

NOTE   This empty extensible select requires extension in a further module to ensure that entities that refer to it have at least one valid instantiation.

EXPRESS specification:

*)
TYPE groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT;
WHERE
  WR1: NOT ('GROUP_MIM.GROUP' IN TYPEOF(SELF));
END_TYPE;
(*

Formal propositions:

WR1: A groupable item shall not be a group or any subtype of group.

NOTE    Group nesting can be represented using group_relationship.

5.2.2 MIM entity definition

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

5.2.2.1 applied_group_assignment   EXPRESS-G

An applied_group_assignment is a type of group_assignment that associates a group with one or more groupable_item instances.

The considered group is specified with the inherited attribute assigned_group. The meaning of the association is specified with the inherited attribute role.

In order to represent the inclusion of elements in a group, the value 'group membership' shall be used for that role.

EXPRESS specification:

*)
ENTITY applied_group_assignment
  SUBTYPE OF (group_assignment);
  items : SET[1:?] OF groupable_item;
END_ENTITY;
(*

Attribute definitions:

items: the set of one or more instances that are associated with the group referred to by the inherited attribute assigned_group.



*)
END_SCHEMA;  -- Group_mim
(*


© ISO 2006 — All rights reserved