Components of physical space Application Object

A Components_of_physical_space is a relationship between:

• a composite Physical_space that is a 'product' (i.e. '´') of component instances of Physical_space; and
• a list of instances of Physical_space that are the components.

NOTE - The dimension of a 'product' Property_space is the sum of the dimensions of its components.

The order of the components of a Physical_space shall be consistent with:

• the order of items in a tuple within a Maths_space that is associated with the Physical_space as a Parameterisation; or
• where the Physical_space is a Property_space, the order of the Components_of_scale.

EXAMPLE - The relationship between:

• the four dimensional Physical_space that is positions within the widget type XYZ_123 for states during its start up activity; and
• the list of instances of Physical_space that are:

1. the three dimensional Product_point_space that is positions within widget type XYZ_123; and
2. the one dimensional State_space that is states within the widget type XYZ_123 start up activity,

that indicates the composite Physical_space is formed from the components, is a Components_of_physical_space.

NOTE - This application object has been defined to indicate the common semantics of other application objects which are specialisations or populations of it. This application object has no interpretation on to the MIM. Instead each of its subtypes is interpreted separately.

EXPRESS specification:

*)
ENTITY Components_of_physical_space
  ABSTRACT SUPERTYPE;
  components  :  LIST[2,?] OF Physical_space;
  whole  :  Physical_space;
END_ENTITY;
(*

Attribute definitions:

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

whole : the Physical_space that has the components.