Diplomarbeit DIP-2977

Bibliograph.
Daten
Dengel, Bernd-Simon: Modellierung von regeltreuen Geschäftsprozessen anhand von Compliance Templates.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 2977 (2010).
78 Seiten, deutsch.
CR-Klassif.H.4.1 (Office Automation)
Kurzfassung

In dieser Arbeit wurden die Compliance Templates und ihre Verwendung in Geschäftsprozessen aufgezeigt. Dabei wurde in Kapitel 2 mit dem Geschäftsprozessmanagement das Einsatzgebiet für Compliance Templates aufgeführt. Kapitel 3 bietet eine Übersicht der aktuellen Standards für (Web-) Services die aus technischer Sicht relevant sind. Als fachliche Grundlage zu Geschäftsprozessmodellierung wurde BPMN herangezogen und in Kapitel 4 eingeführt. Der Zusammenhang von BPMN und BPEL wurde gezeigt und ein Abbildungsverfahren vorgestellt. In Kapitel 5 wurden Kontrollsysteme besprochen, die ein Kontrollmanagement von Geschäftsprozessen ermöglichen. Es wurden Anforderungen, Arten und Architekturen von Kontrollsystemen besprochen. Unter diesen Gesichtspunkten wurden Compliance Templates in Kapitel 6 dargelegt. Es wurden abstrakte Geschäftsprozesse, Variability Deskriptoren und Compliance Deskriptoren vorgestellt. In den folgenden Kapiteln wurde auf den Compliance Deskriptor eingegangen. Zunächst wurden Regeltypen, die Teil des Compliance Deskriptors sind besprochen. Dabei werden Typfilter, Grenzüberschreitung, klassische Logik, Sequenz und Temporale Logik als Regeltypen formal definiert und anhand eines Beispiels veranschaulicht. Die deontische Logik wurde in Kapitel 8 eingeführt und bietet ein formale Repräsentation von Verträgen. Diese Logik wurde zur Formal Contract Language (FCL) erweitert. Als Grundlage für die Auswertung diente die Normalform von FCL die sogenannte NFCL. Schließlich wurde die Auswertung von FCL besprochen.

Volltext und
andere Links
PDF (2712152 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich
Abteilung(en)Universität Stuttgart, Institut für Architektur von Anwendungssystemen
BetreuerSchleicher, Daniel
Eingabedatum16. April 2010
   Publ. Informatik