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

5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

use of a supertype entity does not make applicable any of its specializations, unless the specialization is also imported in the MIM schema;
use of a SELECT type does not make applicable any of its listed types unless the listed type is also imported in the MIM schema.

Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.

EXPRESS specification:




         *)

            SCHEMA Qualified_measure_mim;

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

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

USE FROM qualified_measure_schema -- ISO 10303-45 (expanded_uncertainty, maths_value_precision_qualifier, measure_qualification, measure_representation_item, qualified_representation_item, qualitative_uncertainty, precision_qualifier, standard_uncertainty, type_qualifier, uncertainty_qualifier, value_format_type_qualifier);

USE FROM representation_schema -- ISO 10303-43 (uncertainty_assigned_representation); (*

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

Maths_value_mim ISO/TS 10303-1092

Measure_representation_mim ISO/TS 10303-1118

qualified_measure_schema ISO 10303-45

representation_schema ISO 10303-43

NOTE 2 See Annex D, Figure D.1 for a graphical representation of this schema.

5.2.1 MIM rule definition

This subclause specifies the MIM rule for this module. The MIM rule and definition is specified below.

5.2.1.1 consistent_uncertainty

The consistent_uncertainty rule specifies that any instance of global_uncertainty_assigned_context or uncertainty_assigned_representation shall not contain more than one instance of uncertainty_measure_with_unit with a specific name.

It also specifies that any qualified_representation_item shall not contain more than one instance of uncertainty_qualifier with a specific measure_name.

EXPRESS specification:


         *)

         RULE consistent_uncertainty FOR
         

         
         (global_uncertainty_assigned_context, qualified_representation_item, uncertainty_assigned_representation);

WHERE
 
           WR1: SIZEOF(QUERY(guac                <* global_uncertainty_assigned_context                | SIZEOF(QUERY(u1            
         <* guac.uncertainty                               | SIZEOF(QUERY(u2 <* guac.uncertainty | u2.name = u1.name)) > 1)) >    
         0)) =   0;
 
           WR2: SIZEOF(QUERY(uar                <* uncertainty_assigned_representation                | SIZEOF(QUERY(u1             
         <* uar.uncertainty                               | SIZEOF(QUERY(u2 <* uar.uncertainty | u2.name = u1.name)) > 1)) >      
         0)) =   0;
 
           WR3: SIZEOF(QUERY(qri                <* qualified_representation_item                | SIZEOF(QUERY(u1                   
         <* qri.qualifiers                               | ('QUALIFIED_MEASURE_SCHEMA.UNCERTAINTY_QUALIFIER' IN TYPEOF(u1)) AND   
         (SIZEOF(QUERY(u2                                               <* qri.qualifiers                                         
         | ('QUALIFIED_MEASURE_SCHEMA.UNCERTAINTY_QUALIFIER' IN TYPEOF(u2)) AND                                                 (u2\uncertainty_qualifier.measure_name
         =                                                  u1\uncertainty_qualifier.measure_name))) >                            
         1))) >                  0)) =   0;

         END_RULE;
         
(*

Argument definitions:

global_uncertainty_assigned_context : the set of all instances of global_uncertainty_assigned_context.

qualified_representation_item : the set of all instances of qualified_representation_item.

uncertainty_assigned_representation : the set of all instances of uncertainty_assigned_representation.

Formal propositions:

WR1: Each instance of global_uncertainty_assigned_context shall not contain more than one instance of uncertainty_measure_with_unit with a specific name in its uncertainty set.

WR2: Each instance of uncertainty_assigned_representation shall not contain more than one instance of uncertainty_measure_with_unit with a specific name in its uncertainty set.

WR3: Each instance of qualified_representation_item shall not contain more than one instance of uncertainty_qualifier with a specific measure_name in its set of qualifiers.




         *)

         END_SCHEMA;  -- Qualified_measure_mim
(*

Maths_value_mim	ISO/TS 10303-1092
Measure_representation_mim	ISO/TS 10303-1118
qualified_measure_schema	ISO 10303-45
representation_schema	ISO 10303-43