Parameterisation mapping Application Object

A Parameterisation_mapping is a relationship between:

• two instances of Parameterisation (p₁ and p₂: Physical_space ® Maths_space); and
• a Maths_function (m: Maths_space ® Maths_space);

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

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

p₂(x)=m(p₁(x))

where x denotes a point within Physical_space.

EXPRESS specification:

*)
ENTITY Parameterisation_mapping
  parameterisation_1  :  Parameterisation;
  parameterisation_2  :  Parameterisation;
  mapping_1_to_2  :  Maths_function;
END_ENTITY;
(*

Attribute definitions:

parameterisation_1 : the Parameterisation that is operated on by the mapping_1_to_2 to give the parameterisation_2.

parameterisation_2 : the Parameterisation that is obtained by applying mapping_1_to_2 to parameterisation_1.

mapping_1_to_2 : the Maths_function that relates parameterisation_1 to parameterisation_2.