Data-Aware Conformance Checking for Declarative Business Process Models

Since the accurate management of business processes is receiving increasing attention, conformance checking, i.e., verifying whether the observed behaviour matches a modelled behaviour, is becoming more and more critical. Moreover, declarative languages are more frequently used to provide an increased flexibility. However, little work has been conducted to deal with conformance checking of declarative models. Furthermore, only control-flow perspective is usually considered although other perspectives (e.g., data) are crucial. In addition, most approaches exclusively check the conformance without providing any diagnostics. To enhance the accurate management of flexible business processes, this work presents a constraint-based approach for conformance checking over declarative models (including control-flow and data perspectives) and for providing related diagnosis.