Analyse und Implementierung von Algorithmen zur Verifikation von Zeitmodellen auf Basis von Temporal Constraint Networks

Zeit spielt in Prozessen eine wichtige Rolle, die in Prozess-Management-Systemen bis heute jedoch eine viel zu geringe Beachtung findet. Eine wichtige Fragestellung im Zusammenhang mit Zeit bei Prozess-Management-Systemen ist deren korrekte Modellierung. Es soll sichergestellt werden, dass sich die Zeitbedingungen nicht widersprechen und somit eine fehlerfreie Ausführung des Prozesses möglich ist.

Diese Arbeit beschäftigt sich zunächst mit einer geeigneten Transformation von Prozessmodellen in so genannte Temporal Constraint Networks, auf Basis derer mit Hilfe von ausgewählten Algorithmen die Korrektheit von Zeitbedingungen überprüft werden kann.
Das Hauptaugenmerk dieser Arbeit liegt schließlich darauf, verschiedene, bereits existierende Algorithmen zu analysieren, deren Umgang mit einzelnen Problemstellungen wie Laufzeitverhalten, Korrektheit und Effizienz zu evaluieren und diese gegebenenfalls so zu erweitern, dass eine korrekte Ausführung möglich ist.