AP scope | AP module | AP contents | AP index | |
Application module: Incomplete data reference mechanism | ISO/TS 10303-1349:2005(E) © ISO |
This clause specifies the information requirements for the Incomplete data reference mechanism application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information requirements is given in Annex C.
NOTE 2 The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.
The following EXPRESS specification begins the Incomplete_data_reference_mechanism_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Incomplete_data_reference_mechanism_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Classification_assignment_arm;
--
ISO/TS 10303-1114
USE FROM
Document_definition_arm;
--
ISO/TS 10303-1123
USE FROM
Part_view_definition_arm;
--
ISO/TS 10303-1023
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Classification_assignment_arm ISO/TS 10303-1114 Document_definition_arm ISO/TS 10303-1123 Part_view_definition_arm ISO/TS 10303-1023
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.
The idrm_marked_item type is an extension of the classification_item type. It adds the data types Digital_document_definition, Digital_file and Part_view_definition 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
idrm_marked_item =
EXTENSIBLE
SELECT
BASED_ON
classification_item
WITH
(Digital_document_definition,
Digital_file,
Part_view_definition);
END_TYPE;
(*
This subclause specifies the ARM entity for this module. The ARM entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entity and definition is specified below.
EXAMPLE If applied to an instance of Digital_file, this marking indicates that the external file that should be provided with the Digital_file in the transferred data package, is not provided. This enables to avoid repeated transfers of a big file between partners when its content has not changed.
EXPRESS specification:
*)
ENTITY Incomplete_reference_marking
SUBTYPE OF (Classification_assignment);
WHERE
WR1: SIZEOF (QUERY( item <* SELF\Classification_assignment.items | NOT ('INCOMPLETE_DATA_REFERENCE_MECHANISM_ARM.IDRM_MARKED_ITEM'
IN TYPEOF(item) ) )) = 0;
WR2: SELF\Classification_assignment.assigned_class.id = 'reference';
END_ENTITY;
(*
Formal propositions:
WR1: The marking shall only be applied to instances of an entity type selected in the idrm_marked_item select type.
WR2: The id of the assigned_class shall be the string 'reference'.
*)
END_SCHEMA; -- Incomplete_data_reference_mechanism_arm
(*
© ISO 2005 — All rights reserved