Log In Sign Up

Conformance checking: A state-of-the-art literature review

by   Sebastian Dunzer, et al.

Conformance checking is a set of process mining functions that compare process instances with a given process model. It identifies deviations between the process instances' actual behaviour ("as-is") and its modelled behaviour ("to-be"). Especially in the context of analyzing compliance in organizations, it is currently gaining momentum – e.g. for auditors. Researchers have proposed a variety of conformance checking techniques that are geared towards certain process model notations or specific applications such as process model evaluation. This article reviews a set of conformance checking techniques described in 37 scholarly publications. It classifies the techniques along the dimensions "modelling language", "algorithm type", "quality metric", and "perspective" using a concept matrix so that the techniques can be better accessed by practitioners and researchers. The matrix highlights the dimensions where extant research concentrates and where blind spots exist. For instance, process miners use declarative process modelling languages often, but applications in conformance checking are rare. Likewise, process mining can investigate process roles or process metrics such as duration, but conformance checking techniques narrow on analyzing control-flow. Future research may construct techniques that support these neglected approaches to conformance checking.


page 1

page 2

page 3

page 4


Process Mining Meets Visual Analytics: The Case of Conformance Checking

Conformance checking is a major function of process mining, which allows...

Towards Multi-perspective conformance checking with fuzzy sets

Conformance checking techniques are widely adopted to pinpoint possible ...

Online Soft Conformance Checking: Any Perspective Can Indicate Deviations

Within process mining, a relevant activity is conformance checking. Such...

A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems

Various formal languages have been proposed in the literature for the in...

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)

Conformance checking is a key process mining task for comparing the expe...

Declarative Guideline Conformance Checking of Clinical Treatments: A Case Study

Conformance checking is a process mining technique that allows verifying...

Half-checking propagators

Propagators are central to the success of constraint programming, that i...