Activity space Application Object

An Activity_space is an Activity_or_state_space that consists of a set of instances of component Activity within a larger Activity.

NOTE - A discrete event view of an Activity is an Activity_space. Each member of the space is a finite part of the whole.

NOTE - An Activity_space is analogous to a Product_volume_space which contains finite components within a lumped parameter view of a Product_specification_or_set.

EXPRESS specification:

*)
ENTITY Activity_space
  SUBTYPE OF (Activity_or_state_space);
END_ENTITY;
(*