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 N10520 - ISO/TS 10303-1782 Qualified measure - EXPRESS MIM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N10428
*)



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);


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;



         END_SCHEMA;  -- Qualified_measure_mim