MA Abschlussvortrag, Martin Maurer, Ort: O27/5202, Datum: 28.11.2024, Zeit: 11:00 Uhr

Koordinationsprozesse sind in der Lage, komplexe und verwobene Prozesse zu organisieren, indem sie Abhängigkeiten zwischen verschiedenen Objekten innerhalb eines übergeordneten Prozesses dokumentieren und kontrollieren. Während der Ausführung des Prozesses werden die Ausführungsschritte in einem Eventlog dokumentiert. Im Rahmen des Conformance Checking können die im Eventlog dokumentierten Prozessinstanzen auf die Erfüllung der vorgegebenen Regeln geprüft werden. Diese Regeln umfassen Vorgaben zu den Relationen zwischen verschiedenen Objekten.
        
Im Rahmen dieser Masterarbeit wird ein Ansatz zum Conformance Checking von objekt-zentrierten Koordinationsprozessen auf Grundlage von Linear Temporal Logic Regeln entwickelt und mithilfe der Python Bibliothek PM4PY implementiert. Anschließend wird der entwickelte Ansatz im Rahmen dreier Szenarien evaluiert, welche zeigen, dass der Ansatz eine zuverlässige Methode für das Conformance Checking von Koordinationsprozessen darstellt. Abschließend stellt diese Masterarbeit eine Möglichkeit zur Performanceverbesserung des Ansatzes vor.