UML model of the Coffee Machine

Note: This example is taken from the Telelogic documentation.

Here is a copy of the coffee machine model in a format readable by the Telelogic TAU tool.

The exemple contains the following diagrams:

• Domain model
• Use case diagrams referring to sequence diagrams for more details
• Communication diagram showing the internal structure of the coffee machine and the internal interactions between the components.
• State diagram of the dynamic behavior of the Controller component. This state diagram is to be compared with the following LTSA definition:

  CONTROLLER = (coin[5] -> PAIDFIVE | coin[10] -> PAIDTEN | coinElse -> returnChange -> CONTROLLER),
  PAIDFIVE = (tea -> MAKETEA | coffee -> returnChange -> CONTROLLER),
  PAIDTEN = (tea -> returnCoin[5] -> MAKETEA | coffee -> MAKECOFFEE),
  MAKETEA = (fillWater -> waterOK -> heatWater -> warm -> cupOfTea -> CONTROLLER),
  MAKECOFFEE = (fillWater -> waterOK -> fillCoffee -> coffeeOK -> heatWater -> warm -> cupOfCoffee -> CONTROLLER).