Beispiel Spezifikation (dynamisch)

Kaffee-Automat

• Geld rein
• Wahl des Getränks
• Getränk raus

Fragen bei der Spezifikation:

• was ist die Zustandsmenge?
• welches sind die Aktionen?
• welche Aktionen sind erlaubt?