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.