Scale mapping Application Object

A Scale_mapping is a relationship between:

• two instances of Scale (s₁ and s₂: Property_space ® Maths_space); and
• a Maths_function (m: Maths_space ® Maths_space);

that indicates the one Scale is related to the other by the Maths_function.

Each of Scale and Maths_function is a Mapping. A Scale_mapping indicates a relationship between these mappings as follows:

s₂(x)=m(s₁(x))

where x denotes a value within Property_space.

EXPRESS specification:

*)
ENTITY Scale_mapping
  scale_1  :  Scale;
  scale_2  :  Scale;
  mapping_1_to_2  :  Maths_function;
END_ENTITY;
(*

Attribute definitions:

scale_1 : the Scale that is operated on by the mapping_1_to_2 to give the scale_2.

scale_2 : the Scale that is obtained by applying mapping_1_to_2 to scale_1.

mapping_1_to_2 : the Maths_function that relates scale_1 to scale_2.