Space Link Extension - Service Management - CCSDS

DRAFT RECOMMENDED STANDARD FOR SPACE LINK EXTENSION SERVICE MANAGEMENT
The ‘Dispensing’ state is a composite state: it has a number of substates. It is shown in detail
in figure E-7.
state machine VendingMachine[ Dispensing ]
moneyInserted
Dispensing
H*
[teaSelected]
[coffeeSelected]
BrewingTea
BrewingCoffee
Brewed
Brewed
DispensingTea
DispensingCoffee
Figure E-7: State Machine diagram Example 2
If more money is inserted when the machine is already dispensing, it will go on with
whatever it was already doing. This is shown by the ‘history’ pseudo-state (the ‘H’ in a
circle), which means ‘return to the substate that the machine was in when it last left this
state’.
CCSDS 910.11-R-2 Page E-8 March 2008