Application module: Document and version identification | ISO/TS 10303-1121:2014-02(E) © ISO |
This clause specifies the information requirements for the Document and version identification 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.
This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the Document_and_version_identification_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Document_and_version_identification_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Product_identification_arm;
--
ISO/TS 10303-1017
USE FROM
Product_version_arm;
--
ISO/TS 10303-1018
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Product_identification_arm ISO/TS 10303-1017 Product_version_arm ISO/TS 10303-1018
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY Document
SUBTYPE OF (Product);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Document_version
SUBTYPE OF (Product_version);
SELF\Product_version.of_product : Document;
END_ENTITY;
(*
Attribute definitions:
of_product: the Document of which the instance of this entity type is a version.
This subclause specifies the ARM rule for this module. The ARM rule and definition is specified below.
EXPRESS specification:
*)
RULE document_version_constraint FOR
(Product_version);
WHERE
WR1: SIZEOF ( QUERY ( pv <* Product_version | ( NOT ( 'DOCUMENT_AND_VERSION_IDENTIFICATION_ARM.' + 'DOCUMENT_VERSION'
IN TYPEOF ( pv) ) ) AND ( 'DOCUMENT_AND_VERSION_IDENTIFICATION_ARM.' + 'DOCUMENT' IN TYPEOF ( pv.of_product)
) ) ) = 0 ;
END_RULE;
(*
Argument definitions:
Product_version : the set of all instances of Product_version.
Formal propositions:
WR1: Every Product_version referencing a Document is a Document_version.
*)
END_SCHEMA; -- Document_and_version_identification_arm
(*
© ISO 2014 — All rights reserved