Activity or state space Application Object

An Activity_or_state_space is a Physical_space that consists of either:

• a set of instances of component Activity within a larger Activity; or
• a set of instances of State within an Activity.

EXPRESS specification:

*)
ENTITY Activity_or_state_space
  SUPERTYPE OF (ONEOF (
  Activity_space,
  State_space))
  SUBTYPE OF (Physical_space);
END_ENTITY;
(*