Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems

Ly, Linh Thao and Rinderle-Ma, Stefanie and Dadam, Peter (2010) Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems. In: The 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), 09-11 June 2010, Hammamet, Tunisia.

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

Abstract

For enterprises it has become crucial to check compliance
of their business processes with certain rules such as medical guidelines or nancial regulations. When automating compliance checks on process models, existing approaches have mainly addressed process-specic compliance rules so far, i.e., rules that correspond to a particular process
model. However, in practice, we will rather nd process-independent compliance rules that are nevertheless to be checked over process models. Thus, in this paper, we present an approach that enables the instantiation
and verication of process-independent compliance rules over process models using domain models. For this, we provide an intuitive visualization of compliance rules and compliance rule instances at user level and show how rules and instances can be formalized and verified at system
level. The overall approach is validated by a pattern-based comparison to existing approaches and by means of a prototypical implementation.

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: 15 Feb 2010 09:33
Last Modified: 14 Oct 2011 10:28
URI: http://dbis.eprints.uni-ulm.de/id/eprint/653

Actions (login required)

View Item
View Item