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