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 quantied 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.
In Proceedings of the 13th International Workshop on Business Process Intelligence (BPI 2017); September 10-11, 2017.
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.