Zustandsautomaten (state machines) beschreiben das Verhalten von Classifiern (Elementen) während ihres Lebenszyklus. Sie stellen die möglichen Zustände und Zustandsübergänge dar. Cassifier können sein: Klassen, Komponenten, Systeme, u. a..
Die UML 2.0 unterscheidet behavioral state machines, die Verhalten von Instanzen einer Klasse, Systemen oder Systemteilen beschreiben, und protocol state machines, die Protokolle, die von einem Systemelement realisiert werden, modellieren.
