DBIS EPub

Analyse und Implementierung von Algorithmen zur Verifikation von Zeitmodellen auf Basis von Temporal Constraint Networks

Lindinger, Michael (2011) Analyse und Implementierung von Algorithmen zur Verifikation von Zeitmodellen auf Basis von Temporal Constraint Networks. Bachelor thesis, University of Ulm.

[img] PDF - Registered users only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
958Kb

Abstract

Zeit spielt in Prozessen eine wichtige Rolle, die in Prozess-Management-Systemen bis heute jedoch eine viel zu geringe Beachtung findet. Eine wichtige Fragestellung im Zusammenhang mit Zeit bei Prozess-Management-Systemen ist deren korrekte Modellierung. Es soll sichergestellt werden, dass sich die Zeitbedingungen nicht widersprechen und somit eine fehlerfreie Ausführung des Prozesses möglich ist. Diese Arbeit beschäftigt sich zunächst mit einer geeigneten Transformation von Prozessmodellen in so genannte Temporal Constraint Networks, auf Basis derer mit Hilfe von ausgewählten Algorithmen die Korrektheit von Zeitbedingungen überprüft werden kann. Das Hauptaugenmerk dieser Arbeit liegt schließlich darauf, verschiedene, bereits existierende Algorithmen zu analysieren, deren Umgang mit einzelnen Problemstellungen wie Laufzeitverhalten, Korrektheit und Effizienz zu evaluieren und diese gegebenenfalls so zu erweitern, dass eine korrekte Ausführung möglich ist.

Item Type:Thesis (Bachelor)
Subjects:DBIS Research > Master and Phd-Thesis
ID Code:766
Deposited By: Andreas Lanz
BibTex Export:BibTeX
Deposited On:07 Nov 2011 16:18
Last Modified:07 Nov 2011 16:18

Repository Staff Only: item control page