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


© ISO 2019 — All rights reserved