A Specialisation_of_state is a Specialisation_of_class that is between two instances of State.
EXAMPLE - 'XYZ_123 at maximum power' is a state specification. 'XYZ_123 at full power when cold' and 'XYZ_123 at full power when hot' are two other state specifications.
The drive shaft of product specification 'XYZ_123' turns at 3000 rpm for each of these three state specifications. Valve 'XYZ_123/V_1' is open for state specification 'XYZ_123 at full power when cold', but closed for state specification 'XYZ_123 at full power when hot'.
An individual product of type 'XYZ_123' can change from being in state 'XYZ_123 at full power when cold' to being in state 'XYZ_123 at full power when hot', whilst remaining in state 'XYZ_123 at full power'.
The relationship between:
- the superclass State that is 'Part type XYZ_123 at full power'; and
- the subclass State that is 'Part type XYZ_123 at full power when cold',
that indicates:
- if an individual product at an instant is in state 'Part type XYZ_123 at full power when cold',
- then at that instant the individual product is simultaneously in state 'Part type XYZ_123 at full power',
is a Specialisation_of_state.
EXPRESS specification:
*) ENTITY Specialisation_of_state SUBTYPE OF (Specialisation_of_class); subclass : State superclass : State; END_ENTITY; (*
Attribute definitions:
subclass : the State that has each member also a member of the superclass.
superclass : the State that contains each member of the subclass.