Sciweavers

Share
CAISE
2010
Springer

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

9 years 11 months ago
Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compliance checks on process models, existing approaches have mainly addressed process-specific compliance rules so far, i.e., rules that correspond to a particular process model. However, in practice, we will rather find 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 verification 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.
Linh Thao Ly, Stefanie Rinderle-Ma, Peter Dadam
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where CAISE
Authors Linh Thao Ly, Stefanie Rinderle-Ma, Peter Dadam
Comments (0)
books