Effiziente Überprüfung semantischer Korrektheit in adaptiven Prozess-Management-Systemen

Es ist bekannt, dass die Sicherung der syntaktischen Korrektheit ein wichtiger Meilenstein der Entwicklung von adaptiven Prozess-Management-System (PMS) ist. Aber Sicherung der syntaktischen Korrektheit allein ist nicht genug. Ebenfalls ist die Sicherung der semantischen
Korrektheit wichtig für das adaptive Prozess-Management-System. Semantische Constraints lassen sich nicht direkt in dem Prozess-Metamodell repräsentieren. Aber ebenfalls kann die semantische Korrektheit durch die Änderungsoperationen zerstört werden. Bevor man sie wieder erstellen kann,
muss die semantischen Konflikte zuerst identifiziert werden. Bei Schema-Modellierung und -Verifikation muss dann neben die syntaktische Korrektheit die semantische Korrektheit auch sichergestellt. Was wir in dieser Diplomarbeit behandeln ist genau die Überprüfung von semantischer Korrektheit im adaptiven Prozess-Management-System, vorausgesetzt, dass die syntaktische Korrektheit immer gewährleistet ist. Wir werden die Semantische Constraints kennen lernen und die Szenarien für die semantische Überprüfung analysieren. Und danach werden wir
implementierungsnahen Algorithmen für die semantische Überprüfung entwickeln. Dabei wird der Effizienzaspekt berücksichtigt. Da die Redundanz in den grundlegenden Algorithmen bei der Überprüfung großer Menge von Prozessen sehr viel kosten kann, werden sie möglicherweise
vermieden.