Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarative Prozessmodelle

Titelangaben

Schützenmeier, Nicolai:
Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarative Prozessmodelle.
Bayreuth , 2024 . - XVIII, 210 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Volltext

	Format: PDF Name: Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarative Prozessmodelle.pdf Version: Veröffentlichte Version Verfügbar mit der Lizenz Creative Commons BY 4.0: Namensnennung
	Download (4MB)

Abstract

Geschäftsprozessmanagement gilt als systematischer Ansatz, um sowohl automatisierte als auch nichtautomatisierte Prozesse unter anderem zu erfassen, zu gestalten, auszuführen, zu dokumentieren und zu steuern und damit nachhaltig die mit der Unternehmensstrategie abgestimmten Ziele zu erreichen. Dabei wird grundsätzlich zwischen zwei Arten von Prozessen unterschieden. Zum einen gibt es die sogenannten Routineprozesse. Dabei handelt es sich um Prozesse, die immer nach einem gewissen Schema oder Muster ablaufen und die folglich sehr wenig Flexibilität in der Ausführung aufweisen. Diese Art von Prozessen wird mit Hilfe von sogenannten imperativen Prozessmodellierungssprachen dargestellt. Auf der anderen Seite kennt man die sogenannten flexiblen Prozesse, die sehr viele Freiheiten und demzufolge sehr viele Ausführungsmöglichkeiten besitzen. Für diese Art von Prozessen existiert ebenfalls ein Modellierungsparadigma, die sogenannte deklarative Prozessmodellierung. Im Laufe der Zeit haben sich auf Grund verschiedenster Anforderungen für beide Paradigmen zahlreiche Modellierungssprachen entwickelt. Durch die Verwendung verschiedener Modellierungssprachen treten bei der Fusionierung unterschiedlicher Unternehmen, beim Überarbeiten oder Anpassen von Prozessmodellen immer wieder Probleme und Unklarheiten auf. So ist es in der Praxis oftmals eine ziemliche Herausforderung, die jeweiligen unternehmensspezifischen Prozesse bzw. Prozessmodelle miteinander zu kombinieren. Gerade die Verwendung deklarativer Prozessmodellierungssprachen hat aufgezeigt, dass auf Grund der hohen Komplexität deklarativer Prozessmodelle derartige Aufgaben ohne Softwareunterstützung kaum zu handhaben sind. Die Forschung dieser Dissertation widmet sich obig beschriebenen Problemstellungen, indem automatenbasierte Lösungen zum Vergleich von sowohl imperativen als auch deklarativen Prozessmodellen entwickelt werden. Des Weiteren werden Möglichkeiten vorgestellt, die es erlauben, aus verschiedenen Prozessmodellen Gemeinsamkeiten, Unterschiede und Ähnlichkeiten herauszuarbeiten. Diese können in der Praxis genutzt werden, um eine erfolgreiche Fusionierung verschiedener Prozesse zu erleichtern. Darüber hinaus wird die Verständlichkeit deklarativer Prozessmodelle durch das Entwickeln und Implementieren verschiedener Verhaltensanalysen immens verbessert, was eine durchgeführte Benutzerstudie zeigt.

Abstract in weiterer Sprache

Business Process Management is regarded as a systematic approach to capture, design, execute, document, and control both automated and non-automated processes, with the ultimate goal of achieving objectives aligned with the company's strategic vision. Basically two fundamental types of processes are distinguished. First of all, there are those known as routine processes. These are processes that consistently follow a specific pattern or template, resulting in very limited flexibility in execution. These processes are represented with the help of imperative process modeling languages. On the other hand, there are those called flexible processes. These processes enjoy a high degree of flexibility, offering numerous execution possibilities. For these processes, a modeling paradigm known as declarative process modeling is used. Over time, due to various requirements, numerous modeling languages have evolved for both paradigms. Sometimes the use of various modeling languages gives rise to problems and ambiguities, especially when different companies merge or process models are revised or adapted. Thus, in practice, it is often a challenging task to integrate the respective company-specific processes or process models. The use of declarative process modeling languages has revealed that, due to the complexity of declarative process models, such tasks are hardly manageable without software support. The research conducted in this dissertation is dedicated to the aforementioned issues by developing automated solutions for comparing both imperative and declarative process models. Furthermore, it presents methods for identifying commonalities, differences, and similarities among different process models. These findings can be practically applied to facilitate the successful merger of various processes. Last but not least, the comprehensibility of declarative process models is significantly enhanced through the elaboration and implementation of various behavioral analyses, as indicated by a conducted user study.