Zustandsautomat

Ein Berechnungsmodell bestehend aus einer festgelegten Anzahl Status und Statusübergängen, gegebenenfalls mit begleitenden Aktionen [IEEE 610]. Typischerweise basieren Workflow-Steuerungsanwendungen auf Zustandsautomaten.