Application module: Qualified measure | ISO/TS 10303-1782:2019(E) © ISO |
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;
(*
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.
This subclause specifies the ARM constant for this module. The ARM constant and definition is specified below.
EXPRESS specification:
*)
CONSTANT
(*
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;
(*
This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.
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;
(*
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 Expanded_uncertainty
SUBTYPE OF (Standard_uncertainty);
coverage_factor : REAL;
END_ENTITY;
(*
Attribute definitions:
coverage_factor: the multiplier of the uncertainty of the value.
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
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.
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
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.
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.
EXPRESS specification:
*)
ENTITY Qualified_numerical_item_with_unit
SUBTYPE OF (Numerical_item_with_unit, Qualified_representation_item);
END_ENTITY;
(*
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.
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.
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.
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.
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.
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.
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