Application module: Value with unit ISO/TS 10303-1054: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 ARM
   4.2 ARM type definitions
   4.3 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing

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

4 Information requirements

This clause specifies the information requirements for the Value with unit application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.

NOTE 1  A graphical representation of the information requirements is given in Annex C.

NOTE 2  The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.

This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following begins the Value_with_unit_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Value_with_unit_arm;
(*

4.1 Required AM ARM

The following EXPRESS interface statement specifies the elements imported from the ARM of another application module.

EXPRESS specification:

*)
USE FROM Maths_value_arm;    --  ISO/TS 10303-1092
(*

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

Maths_value_arm ISO/TS 10303-1092

NOTE 2   See Annex C, Figures C.1and C.2 for a graphical representation of this schema.

4.2 ARM type definitions

This subclause specifies the ARM types for this application module. The ARM types and definitions are specified below.

4.2.1 any_number_value   EXPRESS-G

An any_number_value is a value that is a number and that is not specific of a particular kind of quantity.

EXPRESS specification:

*)
TYPE any_number_value = NUMBER;
END_TYPE;
(*

4.2.2 any_string_value   EXPRESS-G

An any_string_value is a value that is a string and that is not specific of a particular kind of quantity.

EXPRESS specification:

*)
TYPE any_string_value = STRING;
END_TYPE;
(*

4.2.3 area_measure   EXPRESS-G

An area_measure is a number that represents an area quantity.

EXPRESS specification:

*)
TYPE area_measure = REAL;
END_TYPE;
(*

4.2.4 count_measure   EXPRESS-G

A count_measure is a number that represents a count quantity.

EXPRESS specification:

*)
TYPE count_measure = NUMBER;
END_TYPE;
(*

4.2.5 length_measure   EXPRESS-G

A length_measure is a number that represents a length quantity.

EXPRESS specification:

*)
TYPE length_measure = REAL;
END_TYPE;
(*

4.2.6 measure_value   EXPRESS-G

The measure_value type is an extensible list of alternate data types that allows for the designation of the data types any_number_value, any_string_value, length_measure, plane_angle_measure, area_measure, count_measure, ratio_measure, and volume_measure.

NOTE   The list of entity data types may be extended in application modules that use the constructs of this module.

EXPRESS specification:

*)
TYPE measure_value = EXTENSIBLE SELECT
   (any_number_value,
    any_string_value,
    length_measure,
    plane_angle_measure,
    area_measure,
    count_measure,
    ratio_measure,
    volume_measure);
END_TYPE;
(*

4.2.7 non_negative_length_measure   EXPRESS-G

A non_negative_length_measure is a non-negative number that represents a length quantity.

EXPRESS specification:

*)
TYPE non_negative_length_measure = length_measure;
WHERE
  WR1: SELF >= 0.0;
END_TYPE;
(*

Formal propositions:

WR1: the value shall be a non-negative number.

4.2.8 non_negative_plane_angle_measure   EXPRESS-G

A non_negative_plane_angle_measure is a number that represents a non-negative plane angle quantity.

EXPRESS specification:

*)
TYPE non_negative_plane_angle_measure = plane_angle_measure;
WHERE
  WR1: SELF >= 0.0;
END_TYPE;
(*

Formal propositions:

WR1: the value shall be a non-negative number.

4.2.9 plane_angle_measure   EXPRESS-G

A plane_angle_measure is a number that represents a plane angle quantity.

EXPRESS specification:

*)
TYPE plane_angle_measure = REAL;
END_TYPE;
(*

4.2.10 positive_length_measure   EXPRESS-G

A positive_length_measure is a positive number that represents a length quantity.

EXPRESS specification:

*)
TYPE positive_length_measure = non_negative_length_measure;
WHERE
  WR1: SELF > 0.0;
END_TYPE;
(*

Formal propositions:

WR1: the value shall be a positive number.

4.2.11 positive_plane_angle_measure   EXPRESS-G

A positive_plane_angle_measure is a positive number that represents a plane angle quantity.

EXPRESS specification:

*)
TYPE positive_plane_angle_measure = non_negative_plane_angle_measure;
WHERE
  WR1: SELF > 0.0;
END_TYPE;
(*

Formal propositions:

WR1: the value shall be a positive number.

4.2.12 ratio_measure   EXPRESS-G

A ratio_measure is a number that represents a ratio quantity.

EXPRESS specification:

*)
TYPE ratio_measure = REAL;
END_TYPE;
(*

4.2.13 volume_measure   EXPRESS-G

A volume_measure is a number that represents a volume quantity.

EXPRESS specification:

*)
TYPE volume_measure = REAL;
END_TYPE;
(*

4.3 ARM entity definitions

This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.

4.3.1 Amount_of_substance_unit   EXPRESS-GMapping table

An Amount_of_substance_unit is a type of Unit in which the number of elementary entities of a substance as compared to the number of atoms in 0.012 kilograms of carbon-12 is expressed.

NOTE 1   This definition applies to the SI quantity 'mole'. When the mole is used, the elementary entities, whose quantity is expressed, must be specified . They may be atoms, molecules, ions, electrons or other particles or specified groups of such particles (see ISO 31-8).

NOTE 2   This unit corresponds to one of the seven fundamental quantities as specified in ISO 1000.

EXPRESS specification:

*)
ENTITY Amount_of_substance_unit
  SUBTYPE OF (Unit);
END_ENTITY;
(*

4.3.2 Area_unit   EXPRESS-GMapping table

An Area_unit is a type of Derived_unit in which the content of a surface is expressed.

EXPRESS specification:

*)
ENTITY Area_unit
  SUBTYPE OF (Derived_unit);
END_ENTITY;
(*

4.3.3 Context_dependent_unit   EXPRESS-GMapping table

A Context_dependent_unit is a type of Unit that is not related to the system of units defined in this part of ISO 10303.

EXAMPLE    The number of parts in an assembly is a physical quantity that may be measured in a unit called 'parts'. Such a unit cannot be related to an SI unit.

EXPRESS specification:

*)
ENTITY Context_dependent_unit
  SUBTYPE OF (Unit);
WHERE
  WR1: EXISTS(SELF\Unit.name);
END_ENTITY;
(*

Formal propositions:

WR1: The Context_dependent_unit shall have a name.

4.3.4 Conversion_based_unit   EXPRESS-GMapping table

A Conversion_based_unit is a type of Unit that that is based on another and related by a conversion factor.

NOTE    A Conversion_based_unit is often used to convert a unit in one system of units to a similar unit in another system.

EXAMPLE    An Imperial inch is 25.4 millimetres

EXPRESS specification:

*)
ENTITY Conversion_based_unit
  SUBTYPE OF (Unit);
  conversion_factor : Value_with_unit;
WHERE
  WR1: EXISTS(SELF\Unit.name);
END_ENTITY;
(*

Attribute definitions:

conversion_factor: the Value_with_unit that defines the conversion.

Formal propositions:

WR1: The Conversion_based_unit shall have a name.

4.3.5 Derived_unit   EXPRESS-GMapping table

A Derived_unit is a type of Unit that is defined by an expression of other units.

EXAMPLE    Newtons per square metre is a derived unit.

EXPRESS specification:

*)
ENTITY Derived_unit
  SUPERTYPE OF (ONEOF (Area_unit,
                       Volume_unit))
  SUBTYPE OF (Unit);
  elements : SET[1:?] OF Derived_unit_element;
END_ENTITY;
(*

Attribute definitions:

elements: a set of units and their exponents whose product defines the Derived_unit.

NOTE    Each element is one term in the Derived_unit.

4.3.6 Derived_unit_element   EXPRESS-GMapping table

A Derived_unit_element is the association of an exponent with a Unit.

EXPRESS specification:

*)
ENTITY Derived_unit_element;
  base_unit : Unit;
  exponent : REAL;
END_ENTITY;
(*

Attribute definitions:

base_unit: the unit of a term in the Derived_unit.

exponent: the real number for the Derived_unit.

4.3.7 Duration   EXPRESS-GMapping table

A Duration is a type of Value_with_unit that defines the magnitude of a time interval.

EXPRESS specification:

*)
ENTITY Duration
  SUBTYPE OF (Value_with_unit);
WHERE
  WR1: 'VALUE_WITH_UNIT_ARM.' + 'TIME_UNIT' IN TYPEOF(SELF\Value_with_unit.unit);
END_ENTITY;
(*

Formal propositions:

WR1: the unit of the Duration shall be a Time_unit.

4.3.8 Electric_current_unit   EXPRESS-GMapping table

An Electric_current_unit is a type of Unit with which movement of electrically charged particles is expressed.

EXPRESS specification:

*)
ENTITY Electric_current_unit
  SUBTYPE OF (Unit);
END_ENTITY;
(*

4.3.9 Length_unit   EXPRESS-GMapping table

A Length_unit is a type of Unit in which distances are expressed.

EXPRESS specification:

*)
ENTITY Length_unit
  SUBTYPE OF (Unit);
END_ENTITY;
(*

4.3.10 Luminous_intensity_unit   EXPRESS-GMapping table

A Luminous_intensity_unit is a type of Unit in which the brightness of a body is expressed.

EXPRESS specification:

*)
ENTITY Luminous_intensity_unit
  SUBTYPE OF (Unit);
END_ENTITY;
(*

4.3.11 Mass_unit   EXPRESS-GMapping table

A Mass_unit is a type of Unit with which mass is expressed.

EXPRESS specification:

*)
ENTITY Mass_unit
  SUBTYPE OF (Unit);
END_ENTITY;
(*

4.3.12 Maths_value_with_unit   EXPRESS-GMapping table

A Maths_value_with_unit is the specification of a physical quantity by a mathematical expression and its unit.

EXPRESS specification:

*)
ENTITY Maths_value_with_unit;
  unit : Unit;
  value_component : maths_value;
END_ENTITY;
(*

Attribute definitions:

unit: the Unit with which the physical quantity is expressed.

value_component: the mathematical expression that describes the quantity.

4.3.13 Plane_angle_unit   EXPRESS-GMapping table

A Plane_angle_unit is a type of Unit by which a angles in planes are expressed.

EXPRESS specification:

*)
ENTITY Plane_angle_unit
  SUBTYPE OF (Unit);
END_ENTITY;
(*

4.3.14 Ratio_unit   EXPRESS-GMapping table

A Ratio_unit is a type of Unit that expresses the dimensionless ratio of two quantities of the same kind.

EXPRESS specification:

*)
ENTITY Ratio_unit
  SUBTYPE OF (Unit);
END_ENTITY;
(*

4.3.15 Solid_angle_unit   EXPRESS-GMapping table

A Solid_angle_unit is a type of Unit that is solid angle.

EXPRESS specification:

*)
ENTITY Solid_angle_unit
  SUBTYPE OF (Unit);
END_ENTITY;
(*

4.3.16 Thermodynamic_temperature_unit   EXPRESS-GMapping table

A Thermodynamic_temperature_unit is a type of Unit in which the degree of heat of a body is expressed.

EXPRESS specification:

*)
ENTITY Thermodynamic_temperature_unit
  SUBTYPE OF (Unit);
END_ENTITY;
(*

4.3.17 Time_unit   EXPRESS-GMapping table

A Time_unit is a type of Unit with which the duration of a period is expressed.

EXPRESS specification:

*)
ENTITY Time_unit
  SUBTYPE OF (Unit);
END_ENTITY;
(*

4.3.18 Uncertainty_with_unit   EXPRESS-GMapping table

An Uncertainty_with_unit is a type of Value_with_unit that specifies the uncertainty that applies to a type of measure. An Uncertainty_with_unit applies to each Representation_item that uses the type of measure specified in the value_component of the Uncertainty_with_unit.

EXPRESS specification:

*)
ENTITY Uncertainty_with_unit
  SUBTYPE OF (Value_with_unit);
  name : STRING;
  description : OPTIONAL STRING;
END_ENTITY;
(*

Attribute definitions:

name: the words by which the Uncertainty_with_unit is known.

description: the text that provides further information about the Uncertainty_with_unit. The value of this attribute need not be specified.

4.3.19 Unit   EXPRESS-GMapping table

A Unit is a unit quantity.

EXPRESS specification:

*)
ENTITY Unit
  SUPERTYPE OF (ONEOF (Amount_of_substance_unit,
                       Electric_current_unit,
                       Length_unit,
                       Luminous_intensity_unit,
                       Mass_unit,
                       Plane_angle_unit,
                       Ratio_unit,
                       Solid_angle_unit,
                       Thermodynamic_temperature_unit,
                       Time_unit));
  name : STRING;
  si_unit : BOOLEAN;
END_ENTITY;
(*

Attribute definitions:

name: the words by which the Unit is known.

si_unit: the Boolean value that indicates whether the Unit is one of the units defined in the SI system.

4.3.20 Value_with_unit   EXPRESS-GMapping table

A Value_with_unit is the specification of a physical quantity by its value and its unit.

EXPRESS specification:

*)
ENTITY Value_with_unit;
  unit : Unit;
  value_component : measure_value;
END_ENTITY;
(*

Attribute definitions:

unit: the Unit with which the physical quantity is expressed.

value_component: the value of the quantity.

4.3.21 Volume_unit   EXPRESS-GMapping table

A Volume_unit is a type of Derived_unit in which the solid content of a body is expressed.

EXPRESS specification:

*)
ENTITY Volume_unit
  SUBTYPE OF (Derived_unit);
END_ENTITY;
(*



*)
END_SCHEMA;  -- Value_with_unit_arm
(*

© ISO 2019 — All rights reserved