An Initial_state_for_activity is a State_for_activity that indicates the state occurs at the beginning of the activity.
EXAMPLE - 'Part type XYZ_123 start up ' is an Activity specification. 'Part type XYZ_123 stopped and cold' 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 stopped and cold',
that indicates:
- a part of type XYZ_123 being started up is in the state once at the beginning of the activity; and
- a part of type XYZ_123 stopped and cold can, but need not, be at the beginning of a start up activity,
is an Initial_state_for_activity.
EXPRESS specification:
*) ENTITY Initial_state_for_activity SUBTYPE OF (State_for_activity); END_ENTITY; (*