Hierarchical conformance checking of process models based on event logs
Document typeConference report
PublisherSpringer Berlin Heidelberg
Rights accessRestricted access - publisher's policy
Process mining techniques aim to extract knowledge from event logs. Conformance checking is one of the hard problems in process mining: it aims to diagnose and quantify the mismatch between observed and modeled behavior. Precise conformance checking implies solving complex optimization problems and is therefore computationally challenging for real-life event logs. In this paper a technique to apply hierarchical conformance checking is presented, based on a state-of-the-art algorithm for deriving the subprocesses structure underlying a process model. Hierarchical conformance checking allows us to decompose problems that would otherwise be intractable. Moreover, users can navigate through conformance results and zoom into parts of the model that have a poor conformance. The technique has been implemented as a ProM plugin and an experimental evaluation showing the significance of the approach is provided.
CitationMuñoz, J.; Carmona, J.; Aalst, W. M.P. Hierarchical conformance checking of process models based on event logs. A: International Conference on Application and Theory of Petri Nets and Concurrency. "Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings". Milan: Springer Berlin Heidelberg, 2013, p. 291-310.
|Muñoz Gama.pdf||544,7Kb||Restricted access|