Application module: Qualified measure ISO/TS 10303-1782:2019(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 ARMs
   4.2 ARM constant definition
   4.3 ARM type definition
   4.4 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 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 Qualified measure 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 Qualified_measure_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Qualified_measure_arm;
(*

4.1 Required AM ARMs

The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.

EXPRESS specification:

*)
USE FROM Measure_representation_arm;    --  ISO/TS 10303-1118

USE FROM Maths_value_arm;    --  ISO/TS 10303-1092
(*

NOTE 1   The schemas referenced above are specified in the following part of ISO 10303:

Measure_representation_arm ISO/TS 10303-1118
Maths_value_arm ISO/TS 10303-1092

NOTE 2   See Annex C, Figures C.1and C.2 for a graphical representation of this schema.

4.2 ARM constant definition

This subclause specifies the ARM constant for this module. The ARM constant and definition is specified below.

EXPRESS specification:

*)
CONSTANT
(*

4.2.1 pre_defined_type_qualifiers

A pre_defined_type_qualifiers is a list of the pre-defined type qualifiers.

EXPRESS specification:

*)
  pre_defined_type_qualifiers : SET OF STRING :=
   ['minimum',
     'maximum',
     'nominal',
     'specified',
     'typical',
     'calculated',
     'designed',
     'estimated',
     'measured',
     'required',
     'set point',
     'basic',
     'lower deviation',
     'upper deviation'];
(*


*)
END_CONSTANT;
(*

4.3 ARM type definition

This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.

4.3.1 value_qualifier   EXPRESS-G

The value_qualifier type allows for the designation of the data types Maths_value_precision_qualifier, Precision_qualifier, Type_qualifier, Uncertainty_qualifier, and Value_format_type_qualifier.

EXPRESS specification:

*)
TYPE value_qualifier = SELECT
   (Maths_value_precision_qualifier,
    Precision_qualifier,
    Type_qualifier,
    Uncertainty_qualifier,
    Value_format_type_qualifier);
END_TYPE;
(*

4.4 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.4.1 Expanded_uncertainty   EXPRESS-GMapping table

An Expanded_uncertainty is a type of Standard_uncertainty that specifies the factor of an uncertainty.

EXPRESS specification:

*)
ENTITY Expanded_uncertainty
  SUBTYPE OF (Standard_uncertainty);
  coverage_factor : REAL;
END_ENTITY;
(*

Attribute definitions:

coverage_factor: the multiplier of the uncertainty of the value.

4.4.2 Maths_value_qualification   EXPRESS-GMapping table

A Maths_value_qualification is a means to provide information about measurements in which there is an associated uncertainty. The uncertainty may be specified as precision, qualitative uncertainty, or expanded uncertainty, and the type of the related datum shall be included. The uncertainty is defined in clause 2 of "The Guide to the Expression of Uncertainty in Measurement".

EXPRESS specification:

*)
ENTITY Maths_value_qualification;
  name : STRING;
  description : STRING;
  qualified_measure : Maths_value_with_unit;
  qualifiers : SET[1:?] OF value_qualifier;
WHERE
  WR1: NOT ('MEASURE_REPRESENTATION_ARM.NUMERICAL_ITEM_WITH_UNIT' IN TYPEOF(qualified_measure));
  WR2: SIZEOF(QUERY(temp <* qualifiers | 'QUALIFIED_MEASURE_ARM.PRECISION_QUALIFIER' IN TYPEOF(temp))) < 2;
END_ENTITY;
(*

Attribute definitions:

name: the words by which the Maths_value_qualification is known.

description: the text that provides further information about the Maths_value_qualification.

qualified_measure: specifies the Maths_value_with_unit for the Maths_value_qualification.

qualifiers: specifies the value_qualifier for the Maths_value_qualification. There shall be one or more value_qualifier for each Maths_value_qualification.

Formal propositions:

WR1: The qualified_measure shall not be of type Numerical_item_with_unit.

NOTE    The Qualified_numerical_item_with_unit must be used in that case.

WR2: The qualifiers set shall not include more than one member of type Precision_qualifier

4.4.3 Maths_value_precision_qualifier   EXPRESS-GMapping table

A Maths_value_precision_qualifier is an expression that specifies the number of significant figures in the components of the representation of a value.

EXPRESS specification:

*)
ENTITY Maths_value_precision_qualifier;
  significant_figures : maths_value;
END_ENTITY;
(*

Attribute definitions:

significant_figures: specifies the number of significant figures of the components of the value.

4.4.4 Measure_qualification   EXPRESS-GMapping table

A Measure_qualification is a means to provide information about measurements in which there is an associated uncertainty. The uncertainty may be specified as precision, qualitative uncertainty, or expanded uncertainty, and the type of the related datum shall be included. The uncertainty is defined in clause 2 of "The Guide to the Expression of Uncertainty in Measurement".

EXPRESS specification:

*)
ENTITY Measure_qualification;
  name : STRING;
  description : STRING;
  qualified_measure : Value_with_unit;
  qualifiers : SET[1:?] OF value_qualifier;
WHERE
  WR1: NOT ('MEASURE_REPRESENTATION_ARM.NUMERICAL_ITEM_WITH_UNIT' IN TYPEOF(qualified_measure));
  WR2: SIZEOF(QUERY(temp <* qualifiers | 'QUALIFIED_MEASURE_ARM.PRECISION_QUALIFIER' IN TYPEOF(temp))) < 2;
END_ENTITY;
(*

Attribute definitions:

name: the words by which the Measure_qualification is known.

description: the text that provides further information about the Measure_qualification.

qualified_measure: specifies the Value_with_unit for the Measure_qualification.

qualifiers: specifies the value_qualifier for the Measure_qualification. There shall be one or more value_qualifier for each Measure_qualification.

Formal propositions:

WR1: The qualified_measure shall not be of type Numerical_item_with_unit.

NOTE    The Qualified_numerical_item_with_unit must be used in that case.

WR2: The qualifiers set shall not include more than one member of type Precision_qualifier

4.4.5 Precision_qualifier   EXPRESS-GMapping table

A Precision_qualifier is a specification of the number of significant digits in the representation of a value. Precision_qualifier shall be interpreted in accordance with Precision_qualifier in part 45 of this standard.

NOTE    The precision is defined in clause 2 of "The Guide to the Expression of Uncertainty in Measurement".

EXPRESS specification:

*)
ENTITY Precision_qualifier;
  significant_digits : INTEGER;
END_ENTITY;
(*

Attribute definitions:

significant_digits: specifies the number of significant digits of the value.

4.4.6 Pre_defined_type_qualifier   EXPRESS-GMapping table

A Pre_defined_type_qualifier is a type of Type_qualifier whose name has predefined value as specified in constant pre_defined_type_qualifiers:

EXPRESS specification:

*)
ENTITY Pre_defined_type_qualifier
  SUBTYPE OF (Type_qualifier);
WHERE
  WR1: SELF\Type_qualifier.name IN pre_defined_type_qualifiers;
END_ENTITY;
(*

Formal propositions:

WR1: The name shall be in type of pre_defined_type_qualifiers.

4.4.7 Qualified_numerical_item_with_unit   EXPRESS-GMapping table

A Qualified_numerical_item_with_unit is a type of Numerical_item_with_unit and a type of Qualified_representation_item that specifies the type and uncertainty of a datum. The uncertainty may be specified as precision, qualitative uncertainty, or expanded uncertainty. The uncertainty is defined in clause 2 of "The Guide to the Expression of Uncertainty in Measurement".

EXPRESS specification:

*)
ENTITY Qualified_numerical_item_with_unit
  SUBTYPE OF (Numerical_item_with_unit, Qualified_representation_item);
END_ENTITY;
(*

4.4.8 Qualified_representation_item   EXPRESS-GMapping table

A Qualified_representation_item is a type of Representation_item for which qualifiers are defined to describe its reliability and/or uncertainty.

EXPRESS specification:

*)
ENTITY Qualified_representation_item
  ABSTRACT SUPERTYPE
  SUBTYPE OF (Representation_item);
  qualifiers : SET[1:?] OF value_qualifier;
WHERE
  WR1: SIZEOF(QUERY(temp <* qualifiers | 'QUALIFIED_MEASURE_ARM.PRECISION_QUALIFIER' IN TYPEOF(temp))) < 2;
END_ENTITY;
(*

Attribute definitions:

qualifiers: specifies a role of the value_qualifier for the Qualified_representation_item. There shall exist one or more value_qualifiers for the Qualified_representation_item.

Formal propositions:

WR1: An attribute qualifiers shall not contain more than one Precision_qualifier in its set.

4.4.9 Qualitative_uncertainty   EXPRESS-GMapping table

A Qualitative_uncertainty is a type of Uncertainty_qualifier. The uncertainty is defined in clause 2 of "The Guide to the Expression of Uncertainty in Measurement".

EXPRESS specification:

*)
ENTITY Qualitative_uncertainty
  SUBTYPE OF (Uncertainty_qualifier);
  uncertainty_value : STRING;
END_ENTITY;
(*

Attribute definitions:

uncertainty_value: specifies a STRING for the Qualitative_uncertainty.

4.4.10 Representation_with_uncertainty   EXPRESS-GMapping table

A Representation_with_uncertainty is a type of Representation that specifies uncertainty with respect to the elements of representation that it collects. The uncertainty is specified by instances of context_of_items, and applies to all elements of representation that are expressed in the same measures.

EXAMPLE    In an domain is acoustical engineering, there could be an uncertainty of 1 decibel in the values that represent the relative loudness of sounds.

If uncertainties are specified more than once, the following precedence rules shall apply:

NOTE 1   This entity may be combined with the entity External_geometric_model in an instance, to represent the accuracies that apply to the external geometry.

NOTE 2   This entity enables to group a subset of the items of a Representation, that conform to particular accuracies. In such a case, the Representation_with_uncertainty will share the same context_of_items as the other Representation, stating that their items are founded in a unique context, and have specific uncertainty measures.

EXPRESS specification:

*)
ENTITY Representation_with_uncertainty
  SUBTYPE OF (Representation);
  uncertainty : SET[1:?] OF Uncertainty_with_unit;
END_ENTITY;
(*

Attribute definitions:

uncertainty: the set of instances of context_of_items that apply to instances of Representation_item in the Representation_with_uncertainty.

The set shall not contain instances of context_of_items that have the same name.

4.4.11 Standard_uncertainty   EXPRESS-GMapping table

A Standard_uncertainty is a type of Uncertainty_qualifier. A Standard_uncertainty may be an Expanded_uncertainty. The uncertainty is defined in clause 2 of "The Guide to the Expression of Uncertainty in Measurement".

EXPRESS specification:

*)
ENTITY Standard_uncertainty
  SUPERTYPE OF (Expanded_uncertainty)
  SUBTYPE OF (Uncertainty_qualifier);
  uncertainty_value : REAL;
END_ENTITY;
(*

Attribute definitions:

uncertainty_value: specifies a REAL value of the uncertainty.

4.4.12 Type_qualifier   EXPRESS-GMapping table

A Type_qualifier is the specification of the type of a datum. A Type_qualifier is a Pre_defined_type_qualifier or a specialization defined in another application module.

EXPRESS specification:

*)
ENTITY Type_qualifier
  ABSTRACT SUPERTYPE OF (Pre_defined_type_qualifier);
  name : STRING;
END_ENTITY;
(*

Attribute definitions:

name: the words by which the Type_qualifier is known.

4.4.13 Uncertainty_qualifier   EXPRESS-GMapping table

An Uncertainty_qualifier is a supertype of a Standard_uncertainty or a Qualitative_uncertainty. The uncertainty is defined in clause 2 of "The Guide to the Expression of Uncertainty in Measurement".

EXPRESS specification:

*)
ENTITY Uncertainty_qualifier
  SUPERTYPE OF (ONEOF (Standard_uncertainty,
                       Qualitative_uncertainty));
  measure_name : STRING;
  description : STRING;
END_ENTITY;
(*

Attribute definitions:

measure_name: specifies the STRING that serves to identify the Uncertainty_qualifier.

description: the text that provides further information about the Uncertainty_qualifier.

4.4.14 Value_format_type_qualifier   EXPRESS-GMapping table

A Value_format_type_qualifier is a specification of the format, including length and pattern, of the presentation of a value in an exchange or storage medium. A format of "NR5" is included to support the case that only the number of digits after the decimal-mark is controlled by the variable length indicator '..' and that the number of digits preceding the decimal-mark is not controlled.

NOTE 1   The primary purpose for inclusion in this part of ISO 10303 is to support representation of the format of quantitative data types.

NOTE 2   There is no option in the NR2 code for an undefined maximum number of characters before the decimal-mark.

NOTE 3   The NR5 code is defined in ISO 103030-45.

EXAMPLE 1   The format of the real number 2.00 may be represented as "NR2 3.3" where the physical file presentation would be '002.00'.

EXAMPLE 2   The format of the real number 2.00 may be represented as "NR2..3.3" where the physical file presentation would be '2.00'.

EXAMPLE 3   The physical representations '321.233', '1.234', '23.56', '9.783', '0.72' and '.72' all comply with the "NR2..3.3" code.

EXAMPLE 4   The format of a set of real numbers each of whom has the same number of digits (3) after the decimal-mark may be represented as "NR5 3" for an unsigned number and "NR5S 3" for a signed number.

EXAMPLE 5   The format of a set of real numbers each of whom has no more than 3 digits after the decimal-mark may be represented as "NR5..3" for unsigned and "NR5S..3" for signed numbers.

EXPRESS specification:

*)
ENTITY Value_format_type_qualifier;
  value_format_type : STRING;
WHERE
  WR1: LENGTH(value_format_type) <= 80;
END_ENTITY;
(*

Attribute definitions:

value_format_type: specifies the STRING that serves to identify the format the value shall adhere to.

Formal propositions:

WR1: The length of the value_format_type shall not exceed 80.



*)
END_SCHEMA;  -- Qualified_measure_arm
(*


© ISO 2019 — All rights reserved