|
|
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.
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.
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.
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.
This subclause specifies the ARM rules for
this module. The ARM rules and definitions are
specified below.
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.
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
