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   EXPRESS-G
D MIM EXPRESS-G   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


© ISO 2019 — All rights reserved