Components of state feature space Application Object

A Components_of_state_feature_space is a Components_of_physical_space that is between:

• a State_feature_space; and
• a list that consists of a single instance of Product_feature_space.

and that specifies that there is a one to one correspondance between members of the State_feature_space and members of the Product_feature_space.

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 beam has a State that is 'XB_123 subjected to dead and maximum live load'. The set of cross section states that exist for the state of the beam is a State_feature_space.

The relationship between:

• the State_feature_space; and
• the Product_feature_space,

that indicates each member of the State_feature_space corresponds to a member of the Product_feature_space is a Components_of_state_feature_space.

EXPRESS specification:

*)
ENTITY Components_of_state_feature_space
  SUBTYPE OF (Components_of_physical_space);
  SELF\Components_of_physical_space.whole  :  
    State_feature_space;
  SELF\Components_of_physical_space.components  : LIST[1,1] OF   
    Product_feature_space;
END_ENTITY;
(*

Attribute definitions:

components: the instance of Product_feature_space that defines the whole.

whole: the State_feature_space that is defined by the components.