Das Verhaltens modellieren
Ein einfacher Speiseaufzug
Wir betrachten einen einfachen Aufzug, mit dem man Speisen zwischen zwei Stockwerken auf- und ab transportieren kann.
Quelle: aufzug2.sb
Systembeschreibung mit einem Zustandautomaten
Das Verhalten des vorliegenden Systems lässt sich mit einem Zustandsgraph adäquat beschreiben.
Dieser Zustandsgraph lässt sich wie folgt interpretieren:
- Zu Beginn befindet sich der Aufzug im Anfangszustand "gestartet".
- Sobald der Aufzug in den Zustand "gestartet" versetzt wird, wird die Aktion "starteReferenzfahrt()" ausgeführt.
- ...
Aufgabe 1
Interpretiere selbst die weiteren Bestandteile des Zustandsgraphen.