On the Formal Semantics of the Extended Compliance Rule Graph

Knuplesch, David and Reichert, Manfred and Ly, Linh Thao and Kumar, Akhil and Rinderle-Ma, Stefanie (2013) On the Formal Semantics of the Extended Compliance Rule Graph. Technical Report. Ulm University, Ulm.

[thumbnail of TR_UIB_2013_05.pdf] PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB)

Abstract

A fundamental challenge for any process-aware information system is to ensure compliance of modeled and executed business processes with imposed compliance rules stemming from guidelines, standards and laws. Such compliance rules usually refer to multiple process perspectives including control flow, data, time, and resources as well as interactions with business partners. On one hand, compliance rules should be comprehensible for domain experts who must define and apply them. On the other, compliance rules should have precise semantics such that they can be automatically processed. In this context, providing a visual compliance rule language, which hides formal details from rule designers, is crucial in order to enable an intuitive way of modeling. So far, visual compliance rule languages have focused on the control flow perspective, but lack adequate support for the other perspectives. To remedy this drawback, this report introduces the extended Compliance Rule Graph language and its formal semantics.

Item Type: Monograph (Technical Report)
Subjects: DBIS Research > Publications
Divisions: Faculty of Engineering, Electronics and Computer Science > Institute of Databases and Informations Systems > DBIS Research and Teaching > DBIS Research > Publications
Depositing User: David Knuplesch
Date Deposited: 28 Apr 2015 22:18
Last Modified: 28 Apr 2015 22:18
URI: http://dbis.eprints.uni-ulm.de/id/eprint/1147

Actions (login required)

View Item
View Item