Application module: Value with unit extension | ISO/TS 10303-1753:2018-11(E) © ISO |
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;
(*
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.
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.
EXPRESS specification:
*)
ENTITY Absorbed_dose_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Acceleration_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
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.
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.
EXPRESS specification:
*)
ENTITY Area_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Capacitance_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Celsius_temperature_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Conductance_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Dielectric_constant_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Dose_equivalent_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Electric_charge_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
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.
EXPRESS specification:
*)
ENTITY Electric_potential_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Energy_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Force_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Frequency_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Illuminance_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Inductance_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
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.
EXPRESS specification:
*)
ENTITY Loss_tangent_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Luminous_flux_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
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.
EXPRESS specification:
*)
ENTITY Magnetic_flux_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Magnetic_flux_density_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
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.
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.
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.
EXPRESS specification:
*)
ENTITY Power_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Pressure_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Radioactivity_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
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.
EXPRESS specification:
*)
ENTITY Resistance_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
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.
EXPRESS specification:
*)
ENTITY Thermal_resistance_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
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.
EXPRESS specification:
*)
ENTITY Velocity_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
EXPRESS specification:
*)
ENTITY Volume_data_element
SUBTYPE OF (Value_with_unit);
END_ENTITY;
(*
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.
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