Ein Diagramm der Zustände und Übergänge, die die Reaktion eines Objekts einer bestimmten Klasse auf den Eingang von äußeren Reizen beschreibt. Eine State-Machine ist eine Klasse oder Methode zugeordnet. Ein Zustandsdiagramm stellt eine State Machine.