The goal of this activity is to create an initial version of a state machine model for the service interface. Open file IService.interface and modify the dummy state machine such that it matches the following description:

  • Ctrl-space provides templates for various types of transitions.

  • Use reply for a void command such as LoadProduct.

  • Commands, signals and notifications that are not specified in a state are not allowed.

When ready with the state machine, extend the project file with a generator for UML diagrams as follows.
Open file VendingMachine.prj, place the cursor between the two brackets and use Ctrl-space to inspect the possible generators; select "Generate UML Block" by double clicking. Save the .prj file.

Next right-click on file VendingMachine.prj (or somewhere in the editor of the file) and choose "Run As → Run generators".