DBIS EPub

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

Zhou, Hao (2006) Effiziente Überprüfung semantischer Korrektheit in adaptiven Prozess-Management-Systemen. Diploma thesis, University of Ulm.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
2102Kb

Abstract

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.

Item Type:Thesis (Diploma)
Subjects:DBIS Research > Master and Phd-Thesis
ID Code:564
Deposited By: Eva Mader
BibTex Export:BibTeX
Deposited On:09 Apr 2009 21:06
Last Modified:14 Oct 2011 10:27

Repository Staff Only: item control page