5.2 MIM EXPRESS short listing

This clause specifies the EXPRESS schema derived from the mapping table. It uses elements from the common resources or from other application modules and defines the EXPRESS constructs that are specific to this part of ISO 10303.

This clause constitutes the Module Interpreted Module (MIM) of the application module.

This clause also specifies the modifications that apply to the constructs imported from the common resources.

The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application modules:

• use of a supertype entity does not make applicable any of its specializations, unless the specialization is also imported in the MIM schema;
• use of a SELECT type does not make applicable any of its listed types unless the listed type is also imported in the MIM schema.

Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.

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



USE FROM iso13584_generic_expressions_schema    --  ISO 13584-20
  (environment,
   variable_semantics);



USE FROM mathematical_functions_schema    --  ISO 10303-50
  (complex_number_literal_polar);



REFERENCE FROM measure_schema    --  ISO 10303-41
  (derive_dimensional_exponents);
(*



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

Value_with_unit_mim	ISO/TS 10303-1054
iso13584_generic_expressions_schema	ISO 13584-20
mathematical_functions_schema	ISO 10303-50
measure_schema	ISO 10303-41

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

5.2.1 MIM entity definitions

This subclause specifies the MIM entities for this module. The MIM entities and definitions are specified below.

5.2.1.1 dielectric_constant_measure_with_unit   

EXPRESS specification:

*)
ENTITY dielectric_constant_measure_with_unit
  SUBTYPE OF (ratio_measure_with_unit);
END_ENTITY;
(*

5.2.1.2 expression_conversion_based_unit   

An expression_conversion_based_unit is a type of context_dependent_unit and of variable_semantics that represents the unit in an explicitly defined mathematical function.

EXPRESS specification:

*)
ENTITY expression_conversion_based_unit
  SUBTYPE OF (context_dependent_unit, variable_semantics);
INVERSE
  associated_variable_environment : environment FOR semantics;
END_ENTITY;
(*

Attribute definitions:

associated_variable_environment: an inverse relationship that specifies that the existence of the associated_variable_environment is dependent on the existence of the environment that specifies the associated_variable_environment as its semantics.

5.2.1.3 loss_tangent_measure_with_unit   

EXPRESS specification:

*)
ENTITY loss_tangent_measure_with_unit
  SUBTYPE OF (ratio_measure_with_unit);
END_ENTITY;
(*

5.2.1.4 thermal_resistance_measure_with_unit   

EXPRESS specification:

*)
ENTITY thermal_resistance_measure_with_unit
  SUBTYPE OF (measure_with_unit);
WHERE
  WR1: 'VALUE_WITH_UNIT_EXTENSION_MIM.THERMAL_RESISTANCE_UNIT' IN TYPEOF(SELF\measure_with_unit.unit_component);
END_ENTITY;
(*

Formal propositions:

WR1: The type of the unit_component inherited from measure_with_unit shall include thermal_resistance_unit.

5.2.1.5 thermal_resistance_unit   

EXPRESS specification:

*)
ENTITY thermal_resistance_unit
  SUBTYPE OF (derived_unit);
WHERE
  WR1: derive_dimensional_exponents(SELF) = dimensional_exponents ( -1.0, -1.0, -3.0, 0.0, 1.0, 0.0, 0.0 );
END_ENTITY;
(*

Formal propositions:

WR1: The dimensional_exponents shall be set to represent Kelvin-metres per Watt, where the dash indicates multiplication.

© ISO 2018 — All rights reserved