Application module: Extended measure representation ISO/TS 10303-1106:2014-02(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

4 Information requirements
   4.1 Required AM ARM
   4.2 ARM entity definitions
   4.3 ARM subtype constraint definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM entity definition
     5.2.2 MIM function definitions
     5.2.3 MIM rule definition

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index

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.

EXPRESS specification:

*)
SCHEMA Extended_measure_representation_arm;
(*

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

A Measure_item_with_precision is a type of Measure_item that has a precision defined as the number of digits that are significant.

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

A Value_limit is a type of Numerical_item_with_unit and a type of Qualified_representation_item that specifies a qualified numerical value representing either the lower limit or the upper limit of a particular quantifiable characteristic.

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

A Value_list is a type of Measure_item that is an ordered collection of Measure_items.

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

A Value_range is a type of Measure_item that is a pair of numbers representing the range in which the value shall lie.

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

A Value_range_with_global_unit is a type of Measure_item that is a pair of numerical values representing the range in which the value shall lie. The unit of measure is globally assigned.

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

A Value_set is a type of Measure_item that is an unordered collection of Measure_items.

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

A Value_with_tolerances is a type of Measure_item that specifies a range of values by specifying a single nominal value and two tolerances that are offsets from the single value. The range is defined to be the closed interval [item value + lower limit, item value + upper limit].

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

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