State for activity Application Object

A State_for_activity is a Mapping that is between a State and an Activity and that indicates:

• each member of the Activity specification has, or can have, an instant that is a member of the State specification.
• each member of the State specification is, or can be, an instant in the life of a member of the Activity specification.

A State_for_activity can be one of the following:

• Initial_state_for_activity;
• Final_state_for_activity.

EXAMPLE - 'Part type XYZ_123 start up ' is an Activity specification. 'Part type XYZ_123 at 50% power' is a State specification.

The relationship between:

• the Activity that is 'part type XYZ_123 start up'; and
• the State that is 'part type XYZ_123 at 50% power',

that indicates:

• a part of type XYZ_123 being started up is in the state once during the activity; and
• a part of type XYZ_123 at 50% power can, but need not, be being started up,

is a State_for_activity.

EXPRESS specification:

*)
ENTITY State_for_activity
  SUPERTYPE OF (ONEOF (
  Final_state_for_activity,
  Initial_state_for_activity))
  SUBTYPE OF (Mapping);
  activity  :  Activity
  state  :  State;
END_ENTITY;
(*

Attribute definitions:

activity: the Activity that causes the state.

state: the State that occurs during the activity.