ISO/TS 10303-1782:2019 Qualified measure


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
D MIM EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index


         (*
ISO/TC 184/SC 4/WG 12 N10519 - ISO/TS 10303-1782 Qualified measure - EXPRESS ARM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N10427
*)



SCHEMA Qualified_measure_arm;


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


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


CONSTANT

           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;


TYPE value_qualifier =
         
         
         SELECT

            (Maths_value_precision_qualifier, 
    Precision_qualifier, 
    Type_qualifier, 
    Uncertainty_qualifier, 
    Value_format_type_qualifier);

         END_TYPE;


ENTITY Expanded_uncertainty

           SUBTYPE OF (Standard_uncertainty);

           coverage_factor : REAL;

         
         END_ENTITY;


ENTITY Maths_value_precision_qualifier;

           significant_figures : maths_value;

         
         END_ENTITY;


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;


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;


ENTITY Pre_defined_type_qualifier

           SUBTYPE OF (Type_qualifier);
WHERE

           WR1: SELF\Type_qualifier.name IN pre_defined_type_qualifiers;

         
         END_ENTITY;


ENTITY Precision_qualifier;

           significant_digits : INTEGER;

         
         END_ENTITY;


ENTITY Qualified_numerical_item_with_unit

           SUBTYPE OF (Numerical_item_with_unit, Qualified_representation_item);

         
         END_ENTITY;


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;


ENTITY Qualitative_uncertainty

           SUBTYPE OF (Uncertainty_qualifier);

           uncertainty_value : STRING;

         
         END_ENTITY;


ENTITY Representation_with_uncertainty

           SUBTYPE OF (Representation);

           uncertainty : SET[1:?] OF Uncertainty_with_unit;

         
         END_ENTITY;


ENTITY Standard_uncertainty

           SUPERTYPE OF 
         (Expanded_uncertainty)

           SUBTYPE OF (Uncertainty_qualifier);

           uncertainty_value : REAL;

         
         END_ENTITY;


ENTITY Type_qualifier

           ABSTRACT SUPERTYPE
         
         OF (Pre_defined_type_qualifier);

           name : STRING;

         
         END_ENTITY;


ENTITY Uncertainty_qualifier

           SUPERTYPE OF 
         (ONEOF (Standard_uncertainty,
                       Qualitative_uncertainty));

           measure_name : STRING;

           description : STRING;

         
         END_ENTITY;


ENTITY Value_format_type_qualifier;

           value_format_type : STRING;
WHERE

           WR1: LENGTH(value_format_type) <= 80;

         
         END_ENTITY;



         END_SCHEMA;  -- Qualified_measure_arm