Formale Methoden: UML

Dynamische Konzepte
Zustandsautomat
Ein Zustandsautomat besteht aus Zuständen und Zustandsübergängen
(Transitionen).
Ein Zustand erstreckt sich über eine bestimmte Zeitdauer. In einen Zustand
wird das Objekt durch ein entsprechendes Ereignis gebracht.
Ein Ereignis tritt zu einem (bekannten oder unbekannten) Zeitpunkt auf;
ein Ereignis hat keine Zeitdauer.
Ein Objekt kann - nacheinander - verschiedene Zustände durchlaufen; zu
einem Zeitpunkt befindet es sich immer in genau einem Zustand. Alle
Objekte einer Klasse haben den gleichen Zustandsautomaten.
Tritt ein Ereignis ein, dann hängt der Folgezustand vom aktuellen Zustand
und vom Ereignis ab.
Zur Darstellung des Zustandsautomaten dient das Zustandsdiagramm.
Formale Methoden: UML
76
© Karl Schwarzbeck