Technical University of Denmark
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.
Copyright and moral rights for the publications made accessible in the public website are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.
If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.