ISO/TS 10303-1228:2004 Representation with uncertainty


Application module: Representation with uncertainty	ISO/TS 10303-1228:2004(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
4.1 Required AM ARMs
4.2 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
Bibliography
Index


         (*
ISO TC184/SC4/WG12 N2550 - ISO/TS 10303-1228 Representation with uncertainty - EXPRESS MIM
Supersedes 
         ISO TC184/SC4/WG12 N1942
*)



SCHEMA Representation_with_uncertainty_mim;


         USE FROM
         Foundation_representation_mim;
            -- ISO/TS 10303-1006


         USE FROM
         qualified_measure_schema   -- ISO 10303-45
  (qualified_representation_item,

           
         standard_uncertainty,

           
         uncertainty_qualifier);


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


         USE FROM
         Value_with_unit_mim;
            -- ISO/TS 10303-1054


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 |     ('REPRESENTATION_WITH_UNCERTAINTY_MIM'
            + '.UNCERTAINTY_QUALIFIER' IN TYPEOF ( u1 ) ) AND  ( SIZEOF ( QUERY ( u2 <* qri.qualifiers |     ( 'REPRESENTATION_WITH_UNCERTAINTY_MIM'
            + '.UNCERTAINTY_QUALIFIER' IN TYPEOF ( u2 ) ) AND  ( u2\uncertainty_qualifier.measure_name =  u1\uncertainty_qualifier.measure_name
            ) )     ) >1 ) ) ) >0 ) ) =  0;


         END_RULE;



         END_SCHEMA;  -- Representation_with_uncertainty_mim