Neben „echten“ Zuständen kennt UML einige Pseudo-Zustände: Sonderzeichen, die zwar wie ein Zustand im Diagramm platziert werden, aber keine echte Verweildauer besitzen.
| Symbol | Name | Bedeutung |
| Startzustand | Gibt an, mit welchem Zustand der Ablauf beginnt. | |
|
|
Terminator | Markiert das Ende des Prozesses – Zerstörung bzw. Finalisierung des Objekts. |
| Gabelung / Vereinigung | Spaltet einen Zustand in mehrere parallele Zustände auf (Gabelung) bzw. führt parallele Zustände wieder zusammen (Vereinigung). | |
| ◇ | Kreuzung | Verzweigt in eines von mehreren möglichen Ergebnissen, abhängig von einer dynamischen Bedingung. |
Pseudo-Zustände sind keine echten Zustände: Ein Objekt verweilt dort nicht. Sie dienen ausschließlich der Steuerung des Ablaufs im Diagramm – ein Startzustand etwa besitzt selbst keine Eigenschaften und keine Dauer.