Diploma Thesis DIP-3112

BibliographyGrohe, Stefan: Visualisierung und Implementierung von compliance Scopes.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 3112 (2011).
98 pages, german.
CR-SchemaD.2.4 (Software Engineering Software/Program Verification)
H.4.1 (Office Automation)
H.5.3 (Group and Organization Interfaces)
Abstract

Die Einhaltung sowohl gesetzlicher auch als unternehmensinterner Regulierungen beim Design von Geschäftsprozessen wird ein immer wichtigeres Thema.

Basierend auf vorhergehenden Arbeiten, die das Konzept der Variabilität in BPMN 2.0-Diagrammen durch die Definition von Referenzprozessen und Prozessfragmenten einführten, wird ein Konzept für Compliance Scopes entwickelt. Dabei werden die bestehenden Diagrammtypen um ein neues BPMN-Element Compliance Scope erweitert, welches einen Bereich im Diagramm definiert, in welchem zuvor festgelegte Regeln eingehalten werden müssen. Während der Prozessvariantenbildung wird die Ableitung von Prozessvarianten verhindert, die diese Regeln verletzen. Die Regeln werden dabei in einem Regelbaum zusammen gefasst, der die logische Verknüpfung einzelner Regeln erlaubt. Zwei Operatoren zur Kontroll- und Datenflussanalyse werden definiert. Kontrollflussregeln werden dabei in linearer temporaler Logik definiert und mittels Model Checking überprüft.

Das entwickelte Konzept wird in dem webbasierten Prozesseditor Oryx umgesetzt. Der Ausblick behandelt weiterführende Fragestellungen wie Optimierungen bezüglich Performance und graphischer Darstellung, sowie einen Lösungsansatz, ad-hoc Compliance Checks umzusetzen.

Full text and
other links
PDF (2790822 Bytes)
Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Superviser(s)Schleicher, Daniel
Entry dateMay 25, 2011
   Publ. Institute   Publ. Computer Science