An Operational Semantics for the Extended Compliance Rule Graph Language

Knuplesch, David and Reichert, Manfred (2014) An Operational Semantics for the Extended Compliance Rule Graph Language. Technical Report. Ulm University, Ulm.

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


A challenge for any enterprise is to ensure conformance of its business processes with imposed compliance rules. Usually, the latter may constrain multiple perspectives of a business process, including control flow, data, time, resources, and interactions with business partners. Like for process modeling, intuitive visual languages have been proposed for specifying compliance rules. However, business process compliance cannot completely be decided at design time, but needs to be monitored during run time as well. In previous work we introduced the extended Compliance Rule Graph (eCRG) language that enables the visual monitoring of business process compliance regarding the control flow, data, time, and resource perspectives as well as the interactions a process has with business partners. This technical report introduces an operational semantics of the eCRG language. In particular, the state of a visual compliance rule is reflected through markings and annotations of an eCRG. The proposed operational semantics not only allows detecting compliance violations at run-time, but visually highlights their causes as well. Finally, it allows providing recommendations to users in order to proactively ensure for a compliant continuation of a running business process.

Item Type: Monograph (Technical Report)
Subjects: DBIS Research > Publications
Divisions: Faculty of Engineering, Electronics and Computer Science > Institute of Databases and Informations Systems
Depositing User: David Knuplesch
Date Deposited: 18 Feb 2015 17:32
Last Modified: 18 Feb 2015 17:32

Actions (login required)

View Item
View Item