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.

[thumbnail of Zhou_06.pdf]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB)

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
Divisions: Faculty of Engineering, Electronics and Computer Science > Institute of Databases and Informations Systems > DBIS Research and Teaching > DBIS Teaching > Internal Work
Depositing User: Eva Mader
Date Deposited: 09 Apr 2009 21:06
Last Modified: 14 Oct 2011 10:27
URI: http://dbis.eprints.uni-ulm.de/id/eprint/564

Actions (login required)

View Item
View Item