Application module: Software ISO/TS 10303-1746: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 definitions
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 Software 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 Software_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Software_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 Document_definition_arm;    --  ISO/TS 10303-1123

USE FROM Information_product_arm;    --  ISO/TS 10303-1761
(*

NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Document_definition_arm ISO/TS 10303-1123
Information_product_arm ISO/TS 10303-1761

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 Software   EXPRESS-GMapping table

A Software is a type of Information_product.

EXPRESS specification:

*)
ENTITY Software
  SUBTYPE OF (Information_product);
UNIQUE
  UR1: SELF\Product.id;
END_ENTITY;
(*

Formal propositions:

UR1: The id shall be unique within a population of Softwares.

4.2.2 Software_definition   EXPRESS-GMapping table

A Software_definition is a type of Information_definition.

EXPRESS specification:

*)
ENTITY Software_definition
  SUBTYPE OF (Information_definition);
  SELF\Product_view_definition.defined_version : Software_version;
END_ENTITY;
(*

Attribute definitions:

defined_version: an attribute inherited from the Product_view_definition shall be redeclared as the Software_version for the Software_definition.

4.2.3 Software_version   EXPRESS-GMapping table

A Software_version is a type of Information_version.

EXPRESS specification:

*)
ENTITY Software_version
  SUBTYPE OF (Information_version);
  SELF\Product_version.of_product : Software;
END_ENTITY;
(*

Attribute definitions:

of_product: an attribute inherited from the Product_version shall be redeclared as the Software for the Software_version.

4.3 ARM rule definitions

This subclause specifies the ARM rules for this module. The ARM rules and definitions are specified below.

4.3.1 software_definition_constraint

The rule software_definition_constraint constrains the use of Software_version as defined_version to Software_definition only.

EXPRESS specification:

*)
RULE software_definition_constraint FOR
(Product_view_definition);
WHERE
  WR1: SIZEOF ( QUERY ( pvd <* Product_view_definition | ( NOT ( 'SOFTWARE_ARM.' + 'SOFTWARE_DEFINITION' IN TYPEOF (pvd) ) ) AND ( 'SOFTWARE_ARM.' + 'SOFTWARE_VERSION' IN TYPEOF ( pvd.defined_version) ) ) ) =0;
END_RULE;
(*

Argument definitions:

Product_view_definition : the set of all instances of Product_view_definition.

Formal propositions:

WR1: There shall not be any instance of Product_view_definition that refers Software_version as defined_version and is not an instance of Software_definition.

4.3.2 software_version_constraint

The rule software_version_constraint constrains the use of Software as of_product to Software_version only.

EXPRESS specification:

*)
RULE software_version_constraint FOR
(Product_version);
WHERE
  WR1: SIZEOF ( QUERY ( pv <* Product_version | ( NOT ( 'SOFTWARE_ARM.' + 'SOFTWARE_VERSION' IN TYPEOF ( pv) ) ) AND ( 'SOFTWARE_ARM.' + 'SOFTWARE' 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 Software as of_product and is not an instance of Software_version.



*)
END_SCHEMA;  -- Software_arm
(*


© ISO 2009 — All rights reserved