Scalable conformance checking of business processes

Reißner, Daniel, Conforti, Raffaele, Dumas, Marlon, La Rosa, Marcello, & Armas-Cervantes, Abel (2017) Scalable conformance checking of business processes.


Given a process model representing the expected behavior of a business process, and given an event log recording its actual execution, the problem of business process conformance checking is that of detecting and describing the differences between the process model and the event log. A desirable feature is to produce a minimal yet complete set of behavioral differences. Existing conformance checking techniques that achieve these properties do not scale up to real-life process models and event logs. This paper presents a technique that addresses this shortcoming by exploiting scalable automata-based techniques. A log is converted into a deterministic automaton in a lossless manner, the input process model is converted into another minimal automaton, and a minimal error- correcting synchronized product of the two automata is calculated using an admissible A* heuristic. The resulting automaton is used to extract alignments between traces produced by the model and traces in the log, or statements describing behavior observed in the log but not captured in the model. An evaluation based on real-life models and logs shows that the proposed technique significantly outperforms a state of the art technique for complete conformance checking.

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.

Full-text downloads:

43 since deposited on 29 Mar 2017
43 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 105118
Item Type: Report
Refereed: Yes
Additional Information: Paper submitted to "International Conference on Business Process Management (BMP 2017)" in Barcelona, Spain.
Keywords: BPM, Process Mining, Conformance Checking, Event Log, Process Models
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600)
Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600) > Information Engineering and Theory (080607)
Divisions: Current > QUT Faculties and Divisions > Science & Engineering Faculty
Copyright Owner: 2017 The Author(s)
Deposited On: 29 Mar 2017 04:22
Last Modified: 22 Jun 2017 02:14

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page