Aligning event logs and declarative process models for conformance checking

M. Leoni, de, F.M. Maggi, W.M.P. Aalst, van der

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

64 Citations (Scopus)


Process mining can be seen as the "missing link" between data mining and business process management. Although nowadays, in the context of process mining, process discovery attracts the lion’s share of attention, conformance checking is at least as important. Conformance checking techniques verify whether the observed behavior recorded in an event log matches a modeled behavior. This type of analysis is crucial, because often real process executions deviate from the predefined process models. Although there exist solid conformance checking techniques for procedural models, little work has been done to adequately support conformance checking for declarative models. Typically, traces are classified as fitting or non-fitting without providing any detailed diagnostics. This paper aligns event logs and declarative models, i.e., events in the log are related to activities in the model if possible. The alignment provides then sophisticated diagnostics that pinpoint where deviations occur and how severe they are. The approach has been implemented in ProM and has been evaluated using both synthetic logs and real-life logs from Dutch municipalities.
Original languageEnglish
Title of host publicationBusiness Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)
EditorsA. Barros, A. Gal, E. Kindler
Place of PublicationBerlin
ISBN (Print)978-3-642-32884-8
Publication statusPublished - 2012
Event10th International Conference on Business Process Management (BPM 2012) - Tallinn, Estonia
Duration: 3 Sept 20126 Sept 2012
Conference number: 10

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference10th International Conference on Business Process Management (BPM 2012)
Abbreviated titleBPM 2012


Dive into the research topics of 'Aligning event logs and declarative process models for conformance checking'. Together they form a unique fingerprint.

Cite this