Aligning event logs and declarative process models for conformance checking

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

42 Citations (Scopus)

Abstract

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
PublisherSpringer
Pages82-97
ISBN (Print)978-3-642-32884-8
DOIs
Publication statusPublished - 2012
Event10th International Conference on Business Process Management (BPM 2012) - Tallinn, Estonia
Duration: 3 Sep 20126 Sep 2012
Conference number: 10

Publication series

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

Conference

Conference10th International Conference on Business Process Management (BPM 2012)
Abbreviated titleBPM 2012
CountryEstonia
CityTallinn
Period3/09/126/09/12

Fingerprint

Data mining
Industry

Cite this

Leoni, de, M., Maggi, F. M., & Aalst, van der, W. M. P. (2012). Aligning event logs and declarative process models for conformance checking. In A. Barros, A. Gal, & E. Kindler (Eds.), Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings) (pp. 82-97). (Lecture Notes in Computer Science; Vol. 7481). Berlin: Springer. https://doi.org/10.1007/978-3-642-32885-5_6
Leoni, de, M. ; Maggi, F.M. ; Aalst, van der, W.M.P. / Aligning event logs and declarative process models for conformance checking. Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings). editor / A. Barros ; A. Gal ; E. Kindler. Berlin : Springer, 2012. pp. 82-97 (Lecture Notes in Computer Science).
@inproceedings{3eadf0ae4d7d4852bb04278fdac24d76,
title = "Aligning event logs and declarative process models for conformance checking",
abstract = "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.",
author = "{Leoni, de}, M. and F.M. Maggi and {Aalst, van der}, W.M.P.",
year = "2012",
doi = "10.1007/978-3-642-32885-5_6",
language = "English",
isbn = "978-3-642-32884-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "82--97",
editor = "A. Barros and A. Gal and E. Kindler",
booktitle = "Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)",
address = "Germany",

}

Leoni, de, M, Maggi, FM & Aalst, van der, WMP 2012, Aligning event logs and declarative process models for conformance checking. in A Barros, A Gal & E Kindler (eds), Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings). Lecture Notes in Computer Science, vol. 7481, Springer, Berlin, pp. 82-97, 10th International Conference on Business Process Management (BPM 2012), Tallinn, Estonia, 3/09/12. https://doi.org/10.1007/978-3-642-32885-5_6

Aligning event logs and declarative process models for conformance checking. / Leoni, de, M.; Maggi, F.M.; Aalst, van der, W.M.P.

Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings). ed. / A. Barros; A. Gal; E. Kindler. Berlin : Springer, 2012. p. 82-97 (Lecture Notes in Computer Science; Vol. 7481).

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

TY - GEN

T1 - Aligning event logs and declarative process models for conformance checking

AU - Leoni, de, M.

AU - Maggi, F.M.

AU - Aalst, van der, W.M.P.

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-32885-5_6

DO - 10.1007/978-3-642-32885-5_6

M3 - Conference contribution

SN - 978-3-642-32884-8

T3 - Lecture Notes in Computer Science

SP - 82

EP - 97

BT - Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings)

A2 - Barros, A.

A2 - Gal, A.

A2 - Kindler, E.

PB - Springer

CY - Berlin

ER -

Leoni, de M, Maggi FM, Aalst, van der WMP. Aligning event logs and declarative process models for conformance checking. In Barros A, Gal A, Kindler E, editors, Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings). Berlin: Springer. 2012. p. 82-97. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-32885-5_6