Application module: Value with unit extension ISO/TS 10303-1753:2018-11(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 entity definitions
   4.3 ARM subtype constraint definition
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM entity definitions

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 extension 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_extension_arm schema and identifies the necessary external references.

EXPRESS specification:

*)
SCHEMA Value_with_unit_extension_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 Value_with_unit_arm;    --  ISO/TS 10303-1054
(*

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

Value_with_unit_arm ISO/TS 10303-1054

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

4.2 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.2.1 Absorbed_dose_data_element   EXPRESS-GMapping table

An Absorbed_dose_data_element is a type of Value_with_unit. This relates to the amount of energy actually absorbed in some material, and is used for any type of radiation and any material. One gray is equal to one joule of energy deposited in one kg of a material. The unit gray can be used for any type of radiation, but it does not describe the biological effects of the different radiations. Absorbed dose is often expressed in terms of hundredths of a gray, or centi-grays. One gray is equivalent to 100 rads.

EXPRESS specification:

*)
ENTITY Absorbed_dose_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.2 Acceleration_data_element   EXPRESS-GMapping table

An Acceleration_data_element is a type of Value_with_unit where the measurement is of acceleration.

EXPRESS specification:

*)
ENTITY Acceleration_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.3 Amount_of_substance_data_element   EXPRESS-GMapping table

An Amount_of_substance_data_element is a type of Value_with_unit for amount of substance.

EXAMPLE    A mole of a substance is the amount of that substance that contains 6.02252 x 10^23 elementary entities. Those entities may be atoms, molecules, ions, electrons, other particles, or specified groups of such particles. One mole of carbon atoms (the Carbon 12 isotope) is exactly 12 grams.

EXPRESS specification:

*)
ENTITY Amount_of_substance_data_element
  SUBTYPE OF (Value_with_unit);
WHERE
  WR1: 'VALUE_WITH_UNIT_ARM.AMOUNT_OF_SUBSTANCE_UNIT' IN TYPEOF(SELF\Value_with_unit.Unit);
END_ENTITY;
(*

Formal propositions:

WR1: The unit inherited from Value_with_unit shall be Amount_of_substance_unit.

4.2.4 Angle_data_element   EXPRESS-GMapping table

An Angle_data_element is a type of Value_with_unit where the requisite unit type is that of angular displacement. An Angle_data_element may be combined with an Uncertainty_with_unit in a complex instance to include uncertainty in an angle.

EXPRESS specification:

*)
ENTITY Angle_data_element
  SUBTYPE OF (Value_with_unit);
WHERE
  WR1: 'VALUE_WITH_UNIT_ARM.PLANE_ANGLE_UNIT' IN TYPEOF(SELF\Value_with_unit.Unit);
END_ENTITY;
(*

Formal propositions:

WR1: The unit inherited from Value_with_unit shall be Plane_angle_unit.

4.2.5 Area_data_element   EXPRESS-GMapping table

An Area_data_element is a type of Value_with_unit that represents a two dimensional area.

EXPRESS specification:

*)
ENTITY Area_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.6 Capacitance_data_element   EXPRESS-GMapping table

A Capacitance_data_element is a type of Value_with_unit where the measurement is of capacitance.

EXPRESS specification:

*)
ENTITY Capacitance_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.7 Celsius_temperature_data_element   EXPRESS-GMapping table

A Celsius_temperature_data_element is a type of Value_with_unit where the measurement is of temperature where the unit is Celsius.

EXPRESS specification:

*)
ENTITY Celsius_temperature_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.8 Conductance_data_element   EXPRESS-GMapping table

A Conductance_data_element is a type of Value_with_unit where the measurement is of conductance.

EXPRESS specification:

*)
ENTITY Conductance_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.9 Dielectric_constant_data_element   EXPRESS-GMapping table

A Dielectric_constant_data_element is a type of Value_with_unit where the measurement is of dielectric constant.

EXPRESS specification:

*)
ENTITY Dielectric_constant_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.10 Dose_equivalent_data_element   EXPRESS-GMapping table

A Dose_equivalent_data_element is a type of Value_with_unit that specifies quantitative measures of Dose equivalence.

EXPRESS specification:

*)
ENTITY Dose_equivalent_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.11 Electric_charge_data_element   EXPRESS-GMapping table

An Electric_charge_data_element is a type of Value_with_unit where the measurement is of electrical charge.

EXPRESS specification:

*)
ENTITY Electric_charge_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.12 Electric_current_data_element   EXPRESS-GMapping table

An Electric_current_data_element is a type of Value_with_unit where the measurement is of electrical current.

EXPRESS specification:

*)
ENTITY Electric_current_data_element
  SUBTYPE OF (Value_with_unit);
WHERE
  WR1: 'VALUE_WITH_UNIT_ARM.ELECTRIC_CURRENT_UNIT' IN TYPEOF(SELF\Value_with_unit.Unit);
END_ENTITY;
(*

Formal propositions:

WR1: The unit inherited from Value_with_unit shall be Electric_current_unit.

4.2.13 Electric_potential_data_element   EXPRESS-GMapping table

An Electric_potential_data_element is a type of Value_with_unit where the measurement is of electric potential.

EXPRESS specification:

*)
ENTITY Electric_potential_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.14 Energy_data_element   EXPRESS-GMapping table

An Energy_data_element is a type of Value_with_unit where the measurement is of energy.

EXPRESS specification:

*)
ENTITY Energy_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.15 Force_data_element   EXPRESS-GMapping table

A Force_data_element is a type of Value_with_unit where the measurement is of force.

EXPRESS specification:

*)
ENTITY Force_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.16 Frequency_data_element   EXPRESS-GMapping table

A Frequency_data_element is a type of Value_with_unit where the measurement is of frequency.

EXPRESS specification:

*)
ENTITY Frequency_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.17 Illuminance_data_element   EXPRESS-GMapping table

An Illuminance_data_element is a type of Value_with_unit where the measurement is of illuminance.

EXPRESS specification:

*)
ENTITY Illuminance_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.18 Inductance_data_element   EXPRESS-GMapping table

An Inductance_data_element is a type of Value_with_unit where the measurement is of inductance.

EXPRESS specification:

*)
ENTITY Inductance_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.19 Length_data_element   EXPRESS-GMapping table

A Length_data_element is a type of Value_with_unit where the measurement is of distance. A member of Length_data_element may also be a member of Uncertainty_with_unit in order to convey uncertainty.

EXPRESS specification:

*)
ENTITY Length_data_element
  SUBTYPE OF (Value_with_unit);
WHERE
  WR1: SELF\Value_with_unit.value_component >= 0.0;
  WR2: 'VALUE_WITH_UNIT_ARM.LENGTH_UNIT' IN TYPEOF(SELF\Value_with_unit.Unit);
END_ENTITY;
(*

Formal propositions:

WR1: The value_component shall be greater than or equal to zero.

WR2: The unit inherited from Value_with_unit shall be Length_unit.

4.2.20 Loss_tangent_data_element   EXPRESS-GMapping table

A Loss_tangent_data_element is a type of Value_with_unit where the measurement is of loss tangent.

EXPRESS specification:

*)
ENTITY Loss_tangent_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.21 Luminous_flux_data_element   EXPRESS-GMapping table

A Luminous_flux_data_element is a type of Value_with_unit where the measurement is of luminous flux.

EXPRESS specification:

*)
ENTITY Luminous_flux_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.22 Luminous_intensity_data_element   EXPRESS-GMapping table

A Luminous_intensity_data_element is a type of Value_with_unit where the measurement is of luminous intensity.

EXPRESS specification:

*)
ENTITY Luminous_intensity_data_element
  SUBTYPE OF (Value_with_unit);
WHERE
  WR1: 'VALUE_WITH_UNIT_ARM.LUMINOUS_INTENSITY_UNIT' IN TYPEOF(SELF\Value_with_unit.Unit);
END_ENTITY;
(*

Formal propositions:

WR1: The unit inherited from Value_with_unit shall be Luminous_intensity_unit.

4.2.23 Magnetic_flux_data_element   EXPRESS-GMapping table

A Magnetic_flux_data_element is a type of Value_with_unit where the measurement is of magnetic flux.

EXPRESS specification:

*)
ENTITY Magnetic_flux_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.24 Magnetic_flux_density_data_element   EXPRESS-GMapping table

A Magnetic_flux_density_data_element is a type of Value_with_unit where the measurement is of magnetic flux density.

EXPRESS specification:

*)
ENTITY Magnetic_flux_density_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.25 Mass_data_element   EXPRESS-GMapping table

A Mass_data_element is a type of Value_with_unit where the measurement is of mass.

EXPRESS specification:

*)
ENTITY Mass_data_element
  SUBTYPE OF (Value_with_unit);
WHERE
  WR1: 'VALUE_WITH_UNIT_ARM.MASS_UNIT' IN TYPEOF(SELF\Value_with_unit.Unit);
END_ENTITY;
(*

Formal propositions:

WR1: The unit inherited from Value_with_unit shall be Mass_unit.

4.2.26 Positive_angle_data_element   EXPRESS-GMapping table

A Positive_angle_data_element is a type of Angle_data_element where the requisite unit type is that of positive angular displacement.

EXPRESS specification:

*)
ENTITY Positive_angle_data_element
  SUBTYPE OF (Angle_data_element);
WHERE
  WR1: 'VALUE_WITH_UNIT_ARM.POSITIVE_PLANE_ANGLE_MEASURE' IN TYPEOF(SELF\Value_with_unit.value_component);
END_ENTITY;
(*

Formal propositions:

WR1: The value_component inherited from Value_with_unit shall be a positive_plane_angle_measure.

4.2.27 Positive_length_data_element   EXPRESS-GMapping table

A Positive_length_data_element is a type of Length_data_element where the measurement is of positive distance.

EXPRESS specification:

*)
ENTITY Positive_length_data_element
  SUBTYPE OF (Length_data_element);
WHERE
  WR1: SELF\Value_with_unit.value_component > 0.0;
END_ENTITY;
(*

Formal propositions:

WR1: The value_component inherited from Value_with_unit shall be a positive_length_measure.

4.2.28 Power_data_element   EXPRESS-GMapping table

A Power_data_element is a type of Value_with_unit where the measurement is of power.

EXPRESS specification:

*)
ENTITY Power_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.29 Pressure_data_element   EXPRESS-GMapping table

A Pressure_data_element is a type of Value_with_unit where the measurement is of pressure.

EXPRESS specification:

*)
ENTITY Pressure_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.30 Radioactivity_data_element   EXPRESS-GMapping table

An Radioactivity_data_element is a type of Value_with_unit. Radioactivity is a measure of a radionuclides activity, that is, by the number of atoms that disintegrate per unit time. The standard SI unit for activity is the becquerel (Bq). A becquerel is equal to one disintegration per second.

EXPRESS specification:

*)
ENTITY Radioactivity_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.31 Ratio_data_element   EXPRESS-GMapping table

A Ratio_data_element is a type of Value_with_unit where the measurement is a ratio.

EXPRESS specification:

*)
ENTITY Ratio_data_element
  SUBTYPE OF (Value_with_unit);
WHERE
  WR1: 'VALUE_WITH_UNIT_ARM.RATIO_UNIT' IN TYPEOF(SELF\Value_with_unit.Unit);
END_ENTITY;
(*

Formal propositions:

WR1: The unit inherited from Value_with_unit shall be Ratio_unit.

4.2.32 Resistance_data_element   EXPRESS-GMapping table

A Resistance_data_element is a type of Value_with_unit where the measurement is of resistance.

EXPRESS specification:

*)
ENTITY Resistance_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.33 Solid_angle_data_element   EXPRESS-GMapping table

A Solid_angle_data_element is a type of Value_with_unit where the measurement is of solid angle.

EXPRESS specification:

*)
ENTITY Solid_angle_data_element
  SUBTYPE OF (Value_with_unit);
WHERE
  WR1: 'VALUE_WITH_UNIT_ARM.SOLID_ANGLE_UNIT' IN TYPEOF(SELF\Value_with_unit.Unit);
END_ENTITY;
(*

Formal propositions:

WR1: The unit inherited from Value_with_unit shall be Solid_angle_unit.

4.2.34 Thermal_resistance_data_element   EXPRESS-GMapping table

A Thermal_resistance_data_element is a type of Value_with_unit where the measurement is of thermal resistance.

EXPRESS specification:

*)
ENTITY Thermal_resistance_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.35 Thermodynamic_temperature_data_element   EXPRESS-GMapping table

A Thermodynamic_temperature_data_element is a type of Value_with_unit where the measurement is of temperature.

EXPRESS specification:

*)
ENTITY Thermodynamic_temperature_data_element
  SUBTYPE OF (Value_with_unit);
WHERE
  WR1: 'VALUE_WITH_UNIT_ARM.THERMODYNAMIC_TEMPERATURE_UNIT' IN TYPEOF(SELF\Value_with_unit.Unit);
END_ENTITY;
(*

Formal propositions:

WR1: The unit inherited from Value_with_unit shall be Thermodynamic_temperature_unit.

4.2.36 Velocity_data_element   EXPRESS-GMapping table

A Velocity_data_element is a type of Value_with_unit where the measurement is of velocity.

EXPRESS specification:

*)
ENTITY Velocity_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.2.37 Volume_data_element   EXPRESS-GMapping table

A Volume_data_element is a type of Value_with_unit where the measurement is of volume.

EXPRESS specification:

*)
ENTITY Volume_data_element
  SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*

4.3 ARM subtype constraint definition

This subclause specifies the ARM subtype constraint for this module. The subtype constraint places a constraint on the possible super-type / subtype instantiations. The ARM subtype constraint and definition is specified below.

4.3.1 value_with_unit_subtypes   EXPRESS-GMapping table

The value_with_unit_subtypes constraint specifies a constraint that applies to instances of Value_with_unit and enforces the rule that its subtypes Acceleration_data_element, Absorbed_dose_data_element, Radioactivity_data_element, Amount_of_substance_data_element, Angle_data_element, Area_data_element, Capacitance_data_element, Celsius_temperature_data_element, Conductance_data_element, Dielectric_constant_data_element, Dose_equivalent_data_element, Electric_charge_data_element, Electric_current_data_element, Electric_potential_data_element, Energy_data_element, Force_data_element, Frequency_data_element, Illuminance_data_element, Inductance_data_element, Length_data_element, Loss_tangent_data_element, Luminous_flux_data_element, Luminous_intensity_data_element, Magnetic_flux_data_element, Magnetic_flux_density_data_element, Mass_data_element, Power_data_element, Pressure_data_element, Ratio_data_element, Resistance_data_element, Solid_angle_data_element, Thermal_resistance_data_element, Thermodynamic_temperature_data_element, Velocity_data_element and Volume_data_element are exclusive.

EXPRESS specification:

*)
SUBTYPE_CONSTRAINT value_with_unit_subtypes FOR Value_with_unit;
  ONEOF (Acceleration_data_element,
         Absorbed_dose_data_element,
         Radioactivity_data_element,
         Amount_of_substance_data_element,
         Angle_data_element,
         Area_data_element,
         Capacitance_data_element,
         Celsius_temperature_data_element,
         Conductance_data_element,
         Dielectric_constant_data_element,
         Dose_equivalent_data_element,
         Electric_charge_data_element,
         Electric_current_data_element,
         Electric_potential_data_element,
         Energy_data_element,
         Force_data_element,
         Frequency_data_element,
         Illuminance_data_element,
         Inductance_data_element,
         Length_data_element,
         Loss_tangent_data_element,
         Luminous_flux_data_element,
         Luminous_intensity_data_element,
         Magnetic_flux_data_element,
         Magnetic_flux_density_data_element,
         Mass_data_element,
         Power_data_element,
         Pressure_data_element,
         Ratio_data_element,
         Resistance_data_element,
         Solid_angle_data_element,
         Thermal_resistance_data_element,
         Thermodynamic_temperature_data_element,
         Velocity_data_element,
         Volume_data_element);
END_SUBTYPE_CONSTRAINT;
(*



*)
END_SCHEMA;  -- Value_with_unit_extension_arm
(*


© ISO 2018 — All rights reserved