UML: Zustands- und Aktivitäts-Diagramme

• Grundlage sind endliche Automaten
• Erweiterung: hierarchische Komposition

  (Verwendung von Teil-Automaten)

• Erweiterung: verteilter Zustand (split und join)

  Semantik wie bei Petri-Netzen

jedes solche Diagramm beschreibt eine Sprache

(= Menge der erlaubten Transitionsfolgen,

wobei eine Transaktion eine Aktion des Benutzers
oder des Systems ist)