Components of product feature and activity or state space Application Object

A Components_of_product_feature_and_activity_or state_space is a Components_of_physical_space between:

• a Product_feature_and_activity_or state_space that is a 'product' (i.e. '´') of a Product_feature_space and an Activity_space or a State_space; and
• a list of two instances of Physical_space that are the components.

EXAMPLE - The Product_design that is beam 'XB_123' can be regarded as a one dimensional set of cross section surfaces. This one dimensional set is a Product_feature_space.

The Activity that is 'pre-stressing of XB_123' can be regarded as a one dimensional set of states. This one dimensional set is a State_space.

The corresponding 'product' space which is a two dimensional set of pre-stressing states for cross sections is a Product_feature_and_activity_or_state_space.

The relationship between:

• the composite Product_feature_and_activity_or_state_space; and
• the list of the Product_feature_space and the State_space that are its components,

is a Components_of_product_feature_and_activity_or_state_space.

EXPRESS specification:

*)
ENTITY Components_of_product_feature_and_activity_or state_space
  SUBTYPE OF (Components_of_physical_space);
  SELF\Components_of_physical_space.whole  :  
    Product_feature_and_activity_or state_space;
  SELF\Components_of_physical_space.components  : LIST[2,2] OF   
    Physical_space;
END_ENTITY;
(*

Attribute definitions:

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

whole: the Product_feature_and_activity_or state_space that has the components.

Formal propositions:

valid_components: One item in the components list shall be a Product_feature_space. One item in the components list shall be an Activity_space or a State_space.