TY - GEN
T1 - Design and verification of instantiable compliance rule graphs in process-aware information systems
AU - Ly, Linh Thao
AU - Rinderle-Ma, Stefanie
AU - Dadam, Peter
N1 - Funding Information:
This work was done within the SeaFlows project, which is funded by the German Research Foundation (DFG).
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=79956313469&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-13094-6_3
DO - 10.1007/978-3-642-13094-6_3
M3 - Conference contribution
AN - SCOPUS:79956313469
SN - 3642130933
SN - 9783642130939
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 9
EP - 23
BT - Advanced Information Systems Engineering - 22nd International Conference, CAiSE 2010, Proceedings
T2 - 22nd International Conference on Advanced Information Systems Engineering, CAiSE 2010
Y2 - 7 June 2010 through 9 June 2010
ER -