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.

[img] PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


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
ID Code:1147
Deposited By: David Knuplesch
BibTex Export:BibTeX
Deposited On:28 Apr 2015 22:18
Last Modified:28 Apr 2015 22:18

Repository Staff Only: item control page