# A Framework for Online Conformance Checking

## Abstract

Conformance checking -- a branch of process mining -- focuses on establishing to what extent actual executions of a process are in line with the expected behavior of a reference model. Current conformance checking techniques only allow for a-posteriori analysis: the amount of (non-)conformant behavior is quanti ed after the completion of the process instance. In this paper we propose a framework for online conformance checking: not only we quantify (non-)conformant behavior as the execution is running, we also restrict the computation to constant time complexity per event analyzed, thus enabling the online analysis of a stream of events. The framework is instantiated with ideas coming from the theory of regions, and state similarity. An implementation is available in ProM and promising results have been obtained.

## Paper Information and Files

Published in Proceedings of the 13th International Workshop on Business Process Intelligence (BPI 2017); September 10-11, 2017.

## Errata corrige

• In the OCTS of Fig. 1, transition $(1,D,6)$ is missing (this was fixed on the slides). Also, transitions $(5,B,3)$ and $(5,C,4)$ should be $(5,B,5)$ and $(5,C,5)$. Thanks to Alifah Syamsiyah for pointing out the errors.