Das
Zustandsdiagramm ist eine der 14 Diagrammarten der Sprache
UML für Software und andere Systeme. Es stellt einen
endlichen Automaten in einer UML-Sonderform grafisch dar und wird benutzt, um entweder das Verhalten eines Systems oder die zulässige Nutzung der Schnittstelle eines Systems zu spezifizieren.