State feature space for state Application Object

A State_feature_space_for_state is a Fusion that is between a State and a State_feature_space and that indicates the State is the whole membership of the State_feature_space viewed as a single item.

EXPRESS specification:

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 State,

that indicates the members of the State_feature_space together make up the State is a State_feature_space_for_state.

*)
ENTITY State_feature_space_for_state
  SUBTYPE OF (Fusion);
  class  :  State_feature_space;
  whole  :  State;
END_ENTITY;
(*

Attribute definitions:

class : the State_feature_space that has a membership comprising the whole.

whole : the State that can be decomposed into the members of the class.