Ein Zustandsautomat beschreibt ein System durch Zustände und Transitionen zwischen diesen Zuständen.
Notation
Der Zustandsautomat wird als ein Rechteck dargestellt.
Besitzerhierarchie/Vorbedingungen
-
Ein Zustandsautomat wird als Inhalt einer Begriffsdefinition angelegt.
-
Jede Begriffsdefinition darf maximal einen Zustandsautomaten enthalten.
-
Jeder Zustandsautomat kann mehrere Regionen enthalten.
-
Ein Zustandsautomat muss mindestens eine Region enthalten.
-
Zusammen mit dem Zustandsautomaten wird die erste Region als Inhalt angelegt.
-
Die letzte Region des Zustandsautomaten kann nicht gelöscht werden.
-
Der Besitzer eines Zustandsautomaten darf nur geändert werden, solange die darin enthaltenen Zustände nicht durch datentragende Elemente verwendet werden.
