Diplomarbeit - IAAS - Universität Stuttgart

Prof. Dr. Frank Leymann
Daniel Schleicher
Institut für Architektur von Anwendungssystemen
Universität Stuttgart
Diplomarbeit
Modellierung von regeltreuen Geschäftsprozessen anhand von
Compliance Templates
Beginn: sofort oder n.V.
Einleitung
Geschäftsprozesse von Firmen sind in vielerlei Hinsicht Regularien unterworfen. Auf der
einen Seite gibt es Gesetze, die nicht übertreten werden dürfen. Auf der anderen Seite dürfen
interne Regelungen der Firmen nicht verletzt werden (1). Ein Beispiel für eine solche
Regelung ist ein Kreditantrag, der von zwei unabhängigen Personen überprüft werden muss.
Um sicherzustellen dass ein BPEL-Prozess nach der Modellierung bestimmte Regeln einhält,
ist es von Vorteil den Prozess-Designer mit dem Modellierungswerkzeug zu unterstützen.
Aufgabe
Ziel dieser Diplomarbeit ist es die in (3) vorgestellten Konzepte und Implementierungen zu
vervollständigen und zu erweitern. Die Aufgabe ist in einen theoretischen und einen
praktischen Teil gegliedert.
Im theoretischen Teil sollen Szenarien für Compliance Templates (3) und den dazugehörigen
Compliance Assurance Rules erarbeitet werden. Ein Unterpunkt hierbei ist die Untersuchung
der Vollständigkeit der Menge von Compliance Assurance Rules.
Es soll weiterhin eine Methodologie erarbeitet werden, die zeigt, wie in einer Firma mit
Compliance Templates gearbeitet werden kann.
Als Grundlage für die Implementierung soll ein formales Modell eines Compliance
Descriptors erstellt werden. Aufbauend auf diesem Modell sollen Beispiele von Compliance
Descriptoren in XML modelliert werden. Weiterhin soll eine Architektur erstellt werden, die
es ermöglicht leicht Regeln (Compliance Assurance Rules) hinzuzufügen und zu entfernen.
Ziel dieser Diplomarbeit im praktischen Teil ist es den eclipse BPEL Designer (2) so zu
erweitern, dass die Konzepte aus (3) umgesetzt werden. Die zu entwickelnde Komponente,
zur Validierung von Alternativen, soll die in (3) vorgestellten Algorithmen, für die im
theoretischen Teil erarbeiteten Compliance Assurance Rules, implementieren. Es soll möglich
sein ein mit alternativen gefülltes Compliance Template automatisch gegen die im System
vorhandenen Compliance Assurance Rules zu validieren
Diese Diplomarbeit gibt Ihnen einen Einblick in die Architektur eines heutigen BPEL-Editors
und der eclipse-Plattform. Weiter machen Sie sich mit Technologien vertraut, die in Zukunft
in vielen Bereichen der Wirtschaft und Forschung eingesetzt werden.
Voraussetzungen
• Gute Kenntnisse in Java, BPEL, XML
• Abstraktionsfähigkeit
• Von Vorteil: Erfahrung bei der Programmierung mit eclipse

Literatur:
1. A static compliance-checking framework for business process models. Xu, Y. Liu and S.
Müller and K. s.l. : IBM SYSTEMS JOURNAL, 2007, Bd. 46.
2. Foundation, Eclipse. http://www.eclipse.org/bpel/. [Online]
3. Maintaining Compliance in Customizable Process Models. Daniel Schleicher, Tobias
Annstett, Frank Leymann, Ralph Mietzner. s.l. : OTM Conferences, 2009.
Kontakt:
Daniel Schleicher
Raum 1.039
Tel.: 0711 7816 459
e-Mail: daniel.schleicher@iaas.uni-stuttgart.de