A Specialisation_of_activity is a Specialisation_of_class that is between two instances of Activity.
EXAMPLE - 'XYZ_123 start up' is an activity specification. 'XYZ_123 start up when cold' and 'XYZ_123 start up when hot' are two other activity specifications.
Valve 'XYZ_123/V_1' closes after 50 seconds for activity specification 'XYZ_123 start up when cold', but closes after 10 seconds for activity specification 'XYZ_123 start up when hot'.
Both activity specification 'XYZ_123 start up when cold' and activity specification 'XYZ_123 start up when hot' are specialisations of the more generic activity specification 'XYZ_123 start up'.
The relationship between:
- the superclass Activity that is 'XYZ_123 start up'; and
- the subclass Activity that is 'XYZ_123 start up when cold',
that indicates:
- if period in the life of an individual product of type 'XYZ_123' is classified as being an activity of type 'XYZ_123 start up when cold',
- then that period in the life is also classified as being an activity of type 'XYZ_123 start up',
is a Specialisation_of_activity.
EXPRESS specification:
*) ENTITY Specialisation_of_activity SUBTYPE OF (Specialisation_of_class); subclass : Activity superclass : Activity; END_ENTITY; (*
Attribute definitions:
subclass : the Activity that has each member also a member of the superclass.
superclass : the Activity that contains each member of the subclass.