Activity or state space for activity Application Object

An Activity_or_state_space_for_activity is a Fusion that is between an Activity and an Activity_or_state_space and that indicates the Activity is the whole membership of the Activity_or_state_space viewed as a single item.

EXPRESS specification:

*)
ENTITY Activity_or_state_space_for_activity
  SUBTYPE OF (Fusion);
  class  :  Activity_or_state_space;
  whole  :  Activity;
END_ENTITY;
(*

Attribute definitions:

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

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