TY - GEN
T1 - On enabling data-aware compliance checking of business process models
AU - Knuplesch, David
AU - Ly, Linh Thao
AU - Rinderle-Ma, Stefanie
AU - Pfeifer, Holger
AU - Dadam, Peter
N1 - Funding Information:
This work was done within the research project SeaFlows partially funded by the German Research Foundation (DFG).
PY - 2010
Y1 - 2010
N2 - In the light of an increasing demand on business process compliance, the verification 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, data-awareness means that in addition to the control flow 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 efficient application of existing compliance checking algorithms.
AB - In the light of an increasing demand on business process compliance, the verification 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, data-awareness means that in addition to the control flow 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 efficient application of existing compliance checking algorithms.
KW - Abstraction
KW - Compliance rules
KW - Process data
KW - Process verification
UR - https://www.scopus.com/pages/publications/78649924571
U2 - 10.1007/978-3-642-16373-9_24
DO - 10.1007/978-3-642-16373-9_24
M3 - Conference contribution
AN - SCOPUS:78649924571
SN - 3642163726
SN - 9783642163722
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 332
EP - 346
BT - Conceptual Modeling, ER 2010 - 29th International Conference on Conceptual Modeling, Proceedings
T2 - 29th International Conference on Conceptual Modeling, ER 2010
Y2 - 1 November 2010 through 4 November 2010
ER -