A framework for integrated process and object life cycle mo...

A framework for integrated process and object life cycle modeling

phdthesis
Modellierung spielt erwiesenermassen eine wesentliche Rolle im Gebiet des Prozessmanagements. Insbesondere werden Prozessmodelle benutzt, um die Reihenfolge zu erfassen, in welcher die Tasks eines Geschäftsprozesses auszuführen sind. In jedem Task werden typischerweise ein oder mehrere Businessobjekte bearbeitet, was zur Erreichung der Ziele des Geschäftsprozesses beiträgt. Jedem Businessobjekt kann eine Menge von eindeutigen Zuständen zugewiesen werden, um die Meilensteine in der gesamten Bearbeitung des Objekts festzulegen. In vielen Prozessmodellierungssprachen kann man ausdrücken, wie Businessobjekte durch den Prozess fliessen und zwischen den einzelnen Tasks ihren Zustand ändern. Zustände von Businessobjekten abstrahieren von den Details der ausgeführten Tasks und sind deshalb nützlich, um den Fortschritt des Prozesses zu kommunizieren, ohne Details der Prozesslogik offenzulegen. Alle möglichen Zustandsübergänge für einen bestimmten Typ von Businessobjekt werden in einem Objektlebenszyklusmodell erfasst. Im Gegensatz zu einem Prozessmodell abstrahiert ein Objektlebenszyklusmodell von bestimmten Details des zugrunde liegenden Geschäftsprozesses. Prozess- und Objektlebenszyklusmodelle stellen daher zwei sich ergänzende und überlappende Sichten auf die Arbeitsabläufe eines Betriebs dar. In Modellierungsansätzen mit mehreren Sichten auf ein Modell stellt jedoch die Konsistenz von sich überlappenden Modellen ein kritisches Problem dar, auf das eingegangen werden muss. Da die Beziehung zwischen Prozess- und Objektlebenszyklusmodellen noch nicht wohlverstanden ist, bieten die existierenden Werkzeuge und Methoden keine Unterstützung für das Konsistenzmanagement von solchen Modellen. Als Folge davon werden Modelle erstellt ohne Mittel um festzustellen, ob sie Inkonsistenzen enthalten. Ein erstklassiges Beispiel sind die Referenzmodelle, die im Rahmen der IBM Insurance Application Architecture1 angeboten werden. In dieser Dissertation wird ein Framework für die integrierte Modellierung von Prozessen und Objektlebenszyklen entwickelt, das auf die Herausforderungen eingeht, wenn diese Modelle als sich ergänzende Sichten benutzt werden. Das Framework basiert auf grundlegenden Konstrukten von Prozess- und Objektlebenszyklusmodellen und ist daher auf verschiedene Modellierungssprachen anwendbar. Als wichtige Grundlage wird eine Formalisierung der Syntax und Semantik von Prozess- und Objektlebenszyklusmodellen erstellt. Auf Basis dieser Grundlage wird die Konsistenz von diesen Modelltypen definiert und beschrieben, wie die Konsistenz einer gegeben Modellmenge überprüft werden kann. Darüberhinaus werden verschiedene Techniken erstellt, die einen Modellierer darin unterstützen, Inkonsistenzen zu beseitigen. Für die Herleitung von einer Sicht aus einer anderen werden Modelltransformationen entwickelt, die Objektlebenszyklusmod- elle aus Prozessmodellen extrahieren und Prozessmodelle aus Objektlebenszyklusmodellen generieren. Die Werkzeugunterstützung für das Framework wird als Object Life Cycle Explorer2 implementiert, der eine Erweiterung des IBM WebSphere Business Modeler3 darstellt. Um zu zeigen, dass der vorgestellte Ansatz zu höherwertigen Modellen führt, wird diese Werkzeugunterstützung in zwei industriellen Fallstudien angewandt.
Ksenia Wahler
Harald C. Gall, Schahram Dustdar
Modeling has proven to play an essential role in the field of Business Process Management. In particular, process models are created to capture the order in which tasks of a business process are to be executed. Each task typically processes one or more business objects to contribute to the final goal of the business process. A business object can be associated with a number of distinct states to mark the milestones in its overall processing. Many process modeling languages allow one to represent how business objects flow and change their state between tasks. States of a business object abstract from the details of the performed tasks and are therefore useful in communicating progress to stakeholders who are unaware of the exact process logic. All possible state transitions for a particular type of business object are captured in an object life cycle model. As opposed to a process model, an object life cycle model abstracts from some of the details of the underlying business processes. Process and object life cycle models hence represent two complementary and overlapping views on the operations of a business. In multi-view modeling approaches, con- sistency of overlapping models is a critical issue that needs to be addressed. Since the relationship between process and object life cycle models is not yet well-understood, no existing tools or methods offer support for consistency management of such models. As a result, models are created without any means of determining whether they contain inconsistencies, a prime example being the reference models offered in the IBM Insurance Application Architecture4 . In this dissertation, we develop a framework for integrated process and object life cycle modeling that addresses the challenges of using these models as complementary views. The framework is based on the fundamental constructs of process and object life cycle models and is thus applicable to different modeling languages. As an essential foundation, we provide a formalization of the syntax and semantics for process and object life cycle models. Building on top of this foundation, we define consistency for these model types and describe how it can be checked on a given set of models. We further provide several techniques to assist the modeler in resolving inconsistencies. For the derivation of one view from another, we develop model transformations to extract object life cycle models from process models and to generate process models from object life cycle models. As tool support for our framework, we implement Object Life Cycle Explorer5 as an extension to IBM WebSphere Business Modeler6 . Using this tool support on two industrial case studies, we demonstrate that our approach leads to models of a higher quality.
A framework for integrated process and object life cycle modeling
2009
Universität Zürich
s.e.a.l.