xoEPC - Jan Mendling

zwei Analysewerkzeuge, zum einen einen ProM-Plug-in zur Verifikation auf Basis des
Erreichbarkeitsgraphens, und zudem ein Stapelverarbeitungsprogramm namens xoEPC
zur Verifikation mit Hilfe von Reduktionsregeln. Zum Dritten definieren wir eine Menge
von Geschäftsprozessmodellmetriken, die als Anzeiger für die Fehlerwahrscheinlichkeit
einer einzelnen EPK dienen sollen. Zum Vierten benutzen wir statistische Methoden
und eine Stichprobe von etwa 2000 EPKs aus der Praxis, um eine Regressionsfunktion
zur Vorhersage von Fehlerwahrscheinlichkeiten abzuleiten. Diese Funktion wird
anhand einer zweiten Stichprobe von 113 EPKs aus Lehrbüchern validiert, welche
zeigt, dass 90% der EPKs richtig als fehlerhaft oder fehlerfrei klassifiziert werden
konnten. Die Ergebnisse unterstreichen die Wichtigkeit von Qualitätsbetrachtungen in
der Geschäftsprozessmodellierung und bieten eine Grundlage für Innovationen in der
Werkzeugunterstützung.