Application module: Information product ISO/TS 10303-1761:2010-03(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM entity definitions
   4.3 ARM rule definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
Bibliography
Index

4 Information requirements

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;
(*

4.1 Required AM ARMs

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.

4.2 ARM entity definitions

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.

4.2.1 Information_definition   EXPRESS-GMapping table

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.

4.2.2 Information_product   EXPRESS-GMapping table

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;
(*

4.2.3 Information_version   EXPRESS-GMapping table

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.

4.3 ARM rule definition

This subclause specifies the ARM rule for this module. The ARM rule and definition is specified below.

4.3.1 Information_product_version_constraint

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