4 Information requirements

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.

4.1 Required AM 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.

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 Measure_item_with_precision   

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.

4.2.2 Value_limit   

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'.

4.2.3 Value_list   

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.

4.2.4 Value_range   

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.

4.2.5 Value_range_with_global_unit   

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.

4.2.6 Value_set   

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.

4.2.7 Value_with_tolerances   

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.

4.3 ARM subtype constraint definition

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.

4.3.1 alternate_measure_items   

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

© ISO 2014 — All rights reserved