Complete and interpretable conformance checking of business processes

García-Bañuelos, Luciano, van Beest, Nick R.T.P., Dumas, Marlon, La Rosa, Marcello, & Mertens, Willem (2017) Complete and interpretable conformance checking of business processes. IEEE Transactions on Software Engineering. (In Press)

[img] Accepted Version (PDF 3MB)
Administrators only | Request a copy from author

View at publisher


This article presents a method for checking the conformance between an event log capturing the actual execution of a business process, and a model capturing its expected or normative execution. Given a business process model and an event log, the method returns a set of statements in natural language describing the behavior allowed by the process model but not observed in the log and vice versa. The method relies on a unified representation of process models and event logs based on a well-known model of concurrency, namely event structures. Specifically, the problem of conformance checking is approached by folding the input event log into an event structure, unfolding the process model into another event structure, and comparing the two event structures via an error-correcting synchronized product. Each behavioral difference detected in the synchronized product is then verbalized as a natural language statement. An empirical evaluation shows that the proposed method scales up to real-life datasets while producing more concise and higher-level difference descriptions than state-of-the-art conformance checking methods.

Impact and interest:

Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 91552
Item Type: Journal Article
Refereed: Yes
Additional URLs:
Keywords: process mining, conformance checking, process model, event log, event structure, Petri net
DOI: 10.1109/TSE.2017.2668418
ISSN: 0098-5589
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300) > Software Engineering (080309)
Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600)
Divisions: Current > QUT Faculties and Divisions > Science & Engineering Faculty
Facilities: Science and Engineering Centre
Copyright Owner: Copyright 2017 IEEE
Deposited On: 04 Jan 2016 22:33
Last Modified: 26 Jun 2017 14:45

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page