Application module: Extended measure representation | ISO/TS 10303-1106:2014-02(E) © ISO |
This clause specifies the information requirements for the Extended measure representation 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.
This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the Extended_measure_representation_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Extended_measure_representation_arm;
(*
The following EXPRESS interface statement specifies the elements imported from the ARM of another application module.
EXPRESS specification:
*)
USE FROM
Qualified_measure_arm;
--
ISO/TS 10303-1782
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Qualified_measure_arm ISO/TS 10303-1782
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 Measure_item_with_precision
SUBTYPE OF (Measure_item);
significant_digits : INTEGER;
END_ENTITY;
(*
Attribute definitions:
significant_digits: the number of digits that are significant.
NOTE A Value_limit is equivalent to Qualified_representation_item with qualifiers pointing to a Pre_defined_type_qualifier with the name 'minimum' or 'maximum'.
EXPRESS specification:
*)
ENTITY Value_limit
SUBTYPE OF (Numerical_item_with_unit, Qualified_representation_item);
SELF\Qualified_representation_item.qualifiers : SET[1:1] OF Pre_defined_type_qualifier;
WHERE
WR1: SELF\Qualified_representation_item.qualifiers[1]\Type_qualifier.name in ['minimum', 'maximum'];
END_ENTITY;
(*
Attribute definitions:
qualifiers: an attribute inherited from the Qualified_representation_item shall be redeclared as the Pre_defined_type_qualifier for the Value_limit. There shall exist exactly one Pre_defined_type_qualifier for the Value_limit.
Formal propositions:
WR1: The name of the qualifiers shall be 'minimum' or 'maximum'.
EXAMPLE A Measure_item may be composed of different values such as 'mass', 'speed', and 'age' which are all necessary in a given context. The Value_list collects all of them in a given order, such that each is identifiable by its index in the list.
EXPRESS specification:
*)
ENTITY Value_list
SUBTYPE OF (Measure_item);
values : LIST[1:?] OF Measure_item;
END_ENTITY;
(*
Attribute definitions:
values: the values.
EXPRESS specification:
*)
ENTITY Value_range
SUBTYPE OF (Measure_item);
lower_limit : Numerical_item_with_unit;
upper_limit : Numerical_item_with_unit;
END_ENTITY;
(*
Attribute definitions:
lower_limit: the lower limit.
upper_limit: the upper limit.
EXPRESS specification:
*)
ENTITY Value_range_with_global_unit
SUBTYPE OF (Measure_item);
lower_limit : Numerical_item_with_global_unit;
upper_limit : Numerical_item_with_global_unit;
END_ENTITY;
(*
Attribute definitions:
lower_limit: the lower limit.
upper_limit: the upper limit.
EXAMPLE A Measure_item may be composed of different values such as 'mass', 'speed', and 'age' which are all necessary in a given context. The Value_set collects all of them in a given order, such that each is identifiable by its index in the list.
EXPRESS specification:
*)
ENTITY Value_set
SUBTYPE OF (Measure_item);
values : SET[1:?] OF Measure_item;
END_ENTITY;
(*
Attribute definitions:
values: the values.
EXPRESS specification:
*)
ENTITY Value_with_tolerances
SUBTYPE OF (Measure_item);
item_value : Numerical_item_with_unit;
lower_limit : REAL;
upper_limit : REAL;
END_ENTITY;
(*
Attribute definitions:
item_value: specifies the single value that is the base value for specifying the range.
lower_limit: the lower limit of the range.
upper_limit: the upper limit of the rhange.
This subclause specifies the ARM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The ARM subtype constraint and definition is specified below.
The alternate_measure_items constraint specifies that Measure_item is an abstract supertype and that defines a constraint that applies to instances of subtypes of Measure_item.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT alternate_measure_items FOR Measure_item;
ABSTRACT SUPERTYPE;
ONEOF (Measure_item_with_precision,
Numerical_item_with_global_unit,
Numerical_item_with_unit,
Value_list,
Value_range,
Value_range_with_global_unit,
Value_set,
Value_with_tolerances);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Extended_measure_representation_arm
(*
© ISO 2014 — All rights reserved