|
|
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.
A Document is a type of
Product
used to identify documentation data that is under
configuration change management.
EXPRESS specification:
*)
ENTITY Document
SUBTYPE OF (Product);
END_ENTITY;
(*
A Document_version is a type of
Product_version.
A Document_version identifies a particular version of a document.
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.
Every Product_version referencing a Document
is a Document_version.
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
