Application module: Software | ISO/TS 10303-1746:2010-03(E) © ISO |
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;
(*
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.
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 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.
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.
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.
This subclause specifies the ARM rules for this module. The ARM rules and definitions are specified below.
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.
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