Application module: Change management ISO/TS 10303-1824: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 ARMs
   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 definitions
     5.2.2 MIM entity definitions
     5.2.3 MIM subtype constraint 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 Change_management_mim;

USE FROM Approval_mim;    --  ISO/TS 10303-1012

USE FROM Basic_data_representation_mim;    --  ISO/TS 10303-1773

USE FROM Product_version_relationship_mim;    --  ISO/TS 10303-1020

USE FROM Support_resource_mim;    --  ISO/TS 10303-1800

USE FROM product_definition_schema    --  ISO 10303-41
  (product_definition_relationship);

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

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

USE FROM representation_schema    --  ISO 10303-43
  (compound_item_definition,
   compound_representation_item,
   representation,
   list_representation_item);

USE FROM product_property_definition_schema    --  ISO 10303-41
  (characterized_object);
(*

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

Approval_mim ISO/TS 10303-1012
Basic_data_representation_mim ISO/TS 10303-1773
Product_version_relationship_mim ISO/TS 10303-1020
Support_resource_mim ISO/TS 10303-1800
product_definition_schema ISO 10303-41
group_schema ISO 10303-41
management_resources_schema ISO 10303-41
representation_schema ISO 10303-43
product_property_definition_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 definitions

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

5.2.1.1 change_management_object   EXPRESS-G

The change_management_object type is an extensible list of alternate data types. Additional alternate data types are specified in select data types that extend the change_management_object 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 change_management_object = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
(*

5.2.1.2 change_relationship_select   EXPRESS-G

The change_relationship_select type is an extensible list of alternate data types that allows for the designation of the data type product_definition_formation_relationship.

NOTE   The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE change_relationship_select = EXTENSIBLE GENERIC_ENTITY SELECT
   (product_definition_formation_relationship);
END_TYPE;
(*

5.2.1.3 cm_approval_item   EXPRESS-G

The cm_approval_item type is an extension of the approval_item type. It adds the data type frozen_assignment to the list of alternate data types.

NOTE  The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE cm_approval_item = EXTENSIBLE GENERIC_ENTITY SELECT BASED_ON approval_item WITH
   (frozen_assignment);
END_TYPE;
(*

5.2.1.4 current_element_assignment_select   EXPRESS-G

The current_element_assignment_select type allows for the designation of the data types modify_element and add_element.

EXPRESS specification:

*)
TYPE current_element_assignment_select = SELECT
   (modify_element,
    add_element);
END_TYPE;
(*

5.2.1.5 location_in_aggregate_item   EXPRESS-G

The location_in_aggregate_item type allows for the designation of the data type integer_representation_item.

EXPRESS specification:

*)
TYPE location_in_aggregate_item = LIST[1:?] OF integer_representation_item;
END_TYPE;
(*

5.2.1.6 previous_element_assignment_select   EXPRESS-G

The previous_element_assignment_select type allows for the designation of the data types modify_element and delete_element.

EXPRESS specification:

*)
TYPE previous_element_assignment_select = SELECT
   (modify_element,
    delete_element);
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 add_element   EXPRESS-G

An add_element is a type of change_element that implements the ARM concept of Add_element.

EXPRESS specification:

*)
ENTITY add_element
  SUBTYPE OF (change_element);
END_ENTITY;
(*

5.2.2.2 change_composition_relationship   EXPRESS-G

A change_composition_relationship is a type of group_relationship.

EXPRESS specification:

*)
ENTITY change_composition_relationship
  SUBTYPE OF (group_relationship);
  SELF\group_relationship.relating_group RENAMED composition : change_group;
  SELF\group_relationship.related_group RENAMED element : change_element;
END_ENTITY;
(*

Attribute definitions:

composition: specifies the change_group for the change_composition_relationship.

element: specifies the change_element for the change_composition_relationship.

5.2.2.3 change_element   EXPRESS-G

A change_element is a type of characterized_object and a type of group that implements the ARM concept of Change_element. Each change_element is either a modify_element, a delete_element or an add_element.

EXPRESS specification:

*)
ENTITY change_element
  ABSTRACT SUPERTYPE OF (ONEOF (modify_element,
                                delete_element,
                                add_element))
  SUBTYPE OF (group, characterized_object);
END_ENTITY;
(*

5.2.2.4 change_element_sequence   EXPRESS-G

A change_element_sequence is a type of group_relationship that implements the ARM concept of Change_element_sequence.

EXPRESS specification:

*)
ENTITY change_element_sequence
  SUBTYPE OF (group_relationship);
  SELF\group_relationship.relating_group RENAMED previous : change_element;
  SELF\group_relationship.related_group RENAMED next : change_element;
END_ENTITY;
(*

Attribute definitions:

previous: specifies the first of the two change_element objects that are related by the change_element_sequence.

next: specifies the second of the two change_element objects that are related by the change_element_sequence.

5.2.2.5 change_group   EXPRESS-G

A change_group is a type of group that implements the ARM concept of Change.

EXPRESS specification:

*)
ENTITY change_group
  SUBTYPE OF (group);
END_ENTITY;
(*

5.2.2.6 change_group_assignment   EXPRESS-G

A change_group_assignment is a type of group_assignment.

EXPRESS specification:

*)
ENTITY change_group_assignment
  SUBTYPE OF (group_assignment);
  SELF\group_assignment.assigned_group : change_group;
  item : change_relationship_select;
END_ENTITY;
(*

Attribute definitions:

assigned_group: an inherited attribute shall be of type change_group for the change_group_assignment.

item: specifies the role of the change_relationship_select object for the change_group_assignment.

5.2.2.7 current_change_element_assignment   EXPRESS-G

A current_change_element_assignment is a type of group_assignment.

EXPRESS specification:

*)
ENTITY current_change_element_assignment
  SUBTYPE OF (group_assignment);
  SELF\group_assignment.assigned_group : current_element_assignment_select;
  items : SET[1:?] OF change_management_object;
END_ENTITY;
(*

Attribute definitions:

assigned_group: an inherited attribute shall be of type current_element_assignment_select for the current_change_element_assignment.

items: specifies the role of the change_management_object for the current_change_element_assignment.

5.2.2.8 delete_element   EXPRESS-G

A delete_element is a type of change_element that implements the ARM concept of Delete_element.

EXPRESS specification:

*)
ENTITY delete_element
  SUBTYPE OF (change_element);
END_ENTITY;
(*

5.2.2.9 frozen_assignment   EXPRESS-G

A frozen_assignment is a type of approval_assignment that implements the ARM concept of Frozen_assignment.

EXPRESS specification:

*)
ENTITY frozen_assignment
  SUBTYPE OF (approval_assignment);
  items : SET[1:?] OF change_management_object;
END_ENTITY;
(*

Attribute definitions:

items: specifies the set of change_management_objects for the frozen_assignment. There shall exist one or more change_management_objects for the frozen_assignment.

5.2.2.10 location_in_aggregate_representation_item   EXPRESS-G

A location_in_aggregate_representation_item is a type of compound_representation_item.

EXPRESS specification:

*)
ENTITY location_in_aggregate_representation_item
  SUBTYPE OF (compound_representation_item);
  SELF\compound_representation_item.item_element : location_in_aggregate_item;
END_ENTITY;
(*

Attribute definitions:

item_element: an inherited attribute shall be of type location_in_aggregate_item for the location_in_aggregate_representation_item.

5.2.2.11 modify_element   EXPRESS-G

A modify_element is a type of change_element that implements the ARM concept of Modify_element.

EXPRESS specification:

*)
ENTITY modify_element
  SUBTYPE OF (change_element);
END_ENTITY;
(*

5.2.2.12 previous_change_element_assignment   EXPRESS-G

A previous_change_element_assignment is a type of group_assignment.

EXPRESS specification:

*)
ENTITY previous_change_element_assignment
  SUBTYPE OF (group_assignment);
  SELF\group_assignment.assigned_group : previous_element_assignment_select;
  items : SET[1:?] OF change_management_object;
END_ENTITY;
(*

Attribute definitions:

assigned_group: an inherited attribute shall be of type previous_element_assignment_select for the previous_change_element_assignment.

items: specifies the set of change_management_objects for the previous_change_element_assignment. There shall exist one or more change_management_objects for the previous_change_element_assignment.

5.2.3 MIM subtype constraint definitions

This subclause specifies the MIM subtype constraints for this module. Each subtype constraint places constraints on the possible super-type / subtype instantiations. The MIM subtype constraints and definitions are specified below.

5.2.3.1 cm_group_subtypes   EXPRESS-G

The cm_group_subtypes constraint specifies a constraint that applies to instances of group and enforces the rule that its subtypes change_group and change_element are exclusive.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT cm_group_subtypes FOR group;
  ONEOF (change_group,
         change_element);
END_SUBTYPE_CONSTRAINT;
(*

5.2.3.2 cm_group_assignment_subtypes   EXPRESS-G

The cm_group_assignment_subtypes constraint specifies a constraint that applies to instances of group_assignment and enforces the rule that its subtypes current_change_element_assignment, previous_change_element_assignment and change_group_assignment are exclusive.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT cm_group_assignment_subtypes FOR group_assignment;
  ONEOF (current_change_element_assignment,
         previous_change_element_assignment,
         change_group_assignment);
END_SUBTYPE_CONSTRAINT;
(*



*)
END_SCHEMA;  -- Change_management_mim
(*

© ISO 2019 — All rights reserved