On Enabling Data-Aware Compliance Checking of Business Process Models

Knuplesch, David and Ly, Linh Thao and Rinderle-Ma, Stefanie and Pfeifer, Holger and Dadam, Peter (2010) On Enabling Data-Aware Compliance Checking of Business Process Models. In: 29th International Conference on Conceptual Modeling, November 2010, Vancouver, BC, Canada.

[thumbnail of KLRD10a.pdf]
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (555kB)


In the light of an increasing demand on business process
compliance, the verication of process models against compliance rules has become essential in enterprise computing. To be broadly applicable compliance checking has to support data-aware compliance rules as well as to consider data conditions within a process model. Independently of the actual technique applied to accomplish compliance checking, dataawareness means that in addition to the control ow dimension, the data dimension has to be explored during compliance checking. However, naive exploration of the data dimension can lead to state explosion. We address this issue by introducing an abstraction approach in this paper. We show how state explosion can be avoided by conducting compliance
checking for an abstract process model and abstract compliance rules.
Our abstraction approach can serve as preprocessing step to the actual
compliance checking and provides the basis for more ecient application
of existing compliance checking algorithms.

Item Type: Conference or Workshop Item (Paper)
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: Linh Thao Ly
Date Deposited: 02 Jun 2010 09:19
Last Modified: 11 May 2012 10:07
URI: http://dbis.eprints.uni-ulm.de/id/eprint/665

Actions (login required)

View Item
View Item