|
|
Application module:
Information product |
ISO/TS 10303-1761:2010-03(E)
© ISO
|
This clause specifies the information requirements for the
Information product
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
Information_product_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Information_product_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Product_view_definition_arm;
--
ISO/TS 10303-1019
USE FROM
File_identification_arm;
--
ISO/TS 10303-1127
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Product_view_definition_arm |
ISO/TS 10303-1019 |
| File_identification_arm |
ISO/TS 10303-1127 |
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.
An Information_definition is a type of Product_view_definition that collects the definitional information of the versions.
EXPRESS specification:
*)
ENTITY Information_definition
SUBTYPE OF (Product_view_definition);
SELF\Product_view_definition.defined_version : Information_version;
END_ENTITY;
(*
Attribute definitions:
defined_version:
specifies a role of the Information_version for the Information_definition.
An Information_product is a type of
Product
that represents pure information that is not intended to be physically realised.
NOTE
Part represents a physically realizable product and a
Product_as_individual
represents a physically relized product.
EXPRESS specification:
*)
ENTITY Information_product
ABSTRACT SUPERTYPE
SUBTYPE OF (Product);
END_ENTITY;
(*
An Information_version is a type of Product_version that identifies a version of an information.
EXPRESS specification:
*)
ENTITY Information_version
SUBTYPE OF (Product_version);
SELF\Product_version.of_product : Information_product;
END_ENTITY;
(*
Attribute definitions:
of_product:
specifies a role of the Information_product for the Information_version.
This subclause specifies the ARM rule for
this module. The ARM rule and definition is
specified below.
The rule Information_product_version_constraint constrains the use of
Information_product
as of_product
for Information_version only.
EXPRESS specification:
*)
RULE Information_product_version_constraint FOR
(Product_version);
WHERE
WR1: SIZEOF ( QUERY ( pv <* Product_version | ( NOT (
'INFORMATION_PRODUCT_ARM.' + 'INFORMATION_VERSION' IN TYPEOF
( pv) ) ) AND ( 'INFORMATION_PRODUCT_ARM.' + 'INFORMATION_PRODUCT' IN TYPEOF (
pv.of_product) ) ) ) =0;
END_RULE;
(*
Argument definitions:
Product_version :
the set of all instances of
Product_version.
Formal propositions:
WR1:
There shall not be any instance of Product_version
that refers Information_product as
of_product
and is not an instance of Information_version.
*)
END_SCHEMA; -- Information_product_arm
(*
© ISO 2009 — All rights reserved
