Components of scale Application Object

A Components_of_scale is a Mapping between:

• a composite Scale that is formed from component instances of Scale; and
• the list of instances of Scale that are the components.

The order of the component instances of Scale in the list shall be consistent with:

• the order of the component instances of Property_space in the list specified for a composite Property_space by a Components_of_property_space; and
• the order of the items in a Maths_tuple that identifies a Property in the composite Property_space.

EXAMPLE - The Property_space that is (pressure, temperature, density) has three component instances of Property_space that are 'pressure', 'temperature' and 'density'.

There is a Scale that identifies each (pressure, temperature, density) Property by three real numbers that identify the pressure in Pa, the temperature in K, and the density in Kg m^-3 respectively.

The relationship between:

• the composite Scale for the composite Property_space; and
• the triple of component instances of Scale that are (Pa, K, Kg m^-3),

that indicates the composite Scale is formed from the components, is a Components_of_scale.

EXPRESS specification:

*)
ENTITY Components_of_scale
  SUBTYPE OF (Mapping);
  components  :  LIST[2,?] OF Scale;
  whole  :  Scale;
END_ENTITY;
(*

Attribute definitions:

components : the instances of Scale that are components of the whole.

whole : the Scale that has the components.