|
|
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
(*
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;
(*
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.
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.
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
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.
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
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.
A Pre_defined_type_qualifier is a type of
Type_qualifier
whose
name
has predefined value as specified in constant
pre_defined_type_qualifiers:
- 'minimum': the value is a minimum value;
- 'maximum': the value is a maximum value;
- 'nominal': the value is a nominal value;
- 'specified': the value has been specified;
- 'typical': the value is typical;
- 'calculated': the value has been calculated;
- 'designed': the value represents a value intended by the design;
- 'estimated': the value has been estimated;
- 'measured': the value has been measured;
- 'required': the value represents a requirement;
- 'set point': the value is used as an initialization value;
- 'basic': the value is a basic value;
- 'lower deviation': the value is maximum deviation in the negative direction from the nominal or basic value;
- 'upper deviation': the value is maximum deviation in the positive direction from the nominal or basic 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.
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;
(*
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.
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.
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.
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.
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.
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.
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
