Efficient Alignment Between Event Logs and Process Models

The aligning of event logs with process models is of great significance for process mining to enable conformance checking, process enhancement, performance analysis, and trace repairing. Since process models are increasingly complex and event logs may deviate from process models by exhibiting redundant, missing, and dislocated events, it is challenging to determine the optimal alignment for each event sequence in the log, as this problem is NP-hard. Existing approaches utilize the cost-based <inline-formula><tex-math notation="LaTeX">$A^*$</tex-math><alternatives> <inline-graphic xlink:href="song-ieq1-2601094.gif"/></alternatives></inline-formula> algorithm to address this problem. However, scalability is often not considered, which is especially important when dealing with industrial-sized problems. In this paper, by taking advantage of the structural and behavioral features of process models, we present an efficient approach which leverages effective heuristics and trace replaying to significantly reduce the overall search space for seeking the optimal alignment. We employ real-world business processes and their traces to evaluate the proposed approach. Experimental results demonstrate that our approach works well in most cases, and that it outperforms the state-of-the-art approach by up to 5 orders of magnitude in runtime efficiency.

[1]  Pengcheng Zhang,et al.  Heuristic Recovery of Missing Events in Process Logs , 2015, 2015 IEEE International Conference on Web Services.

[2]  Luciano Baresi,et al.  Event-Based Multi-level Service Monitoring , 2013, 2013 IEEE 20th International Conference on Web Services.

[3]  Dirk Fahland,et al.  Model repair - aligning process models to reality , 2015, Inf. Syst..

[4]  Hans-Arno Jacobsen,et al.  Process Discovery from Dependence-Complete Event Logs , 2016, IEEE Transactions on Services Computing.

[5]  Mathias Weske,et al.  Bridging abstraction layers in process mining , 2014, Inf. Syst..

[6]  Ricardo Colomo Palacios,et al.  Business Process Analytics Using a Big Data Approach , 2013, IT Professional.

[7]  Rajeev Rastogi,et al.  A cost-based model and effective heuristic for repairing constraints by value modification , 2005, SIGMOD '05.

[8]  Tilmann Rabl,et al.  Processing Big Events with Showers and Streams , 2012, WBDB.

[9]  Mathias Weske,et al.  Process compliance analysis based on behavioural profiles , 2011, Inf. Syst..

[10]  Peter Tiño,et al.  A Framework for the Analysis of Process Mining Algorithms , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[11]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[12]  Jianmin Wang,et al.  Efficient Recovery of Missing Events , 2013, IEEE Transactions on Knowledge and Data Engineering.

[13]  MengChu Zhou,et al.  Timing constraint workflow nets for workflow analysis , 2003, IEEE Trans. Syst. Man Cybern. Part A.

[14]  Jian Lu,et al.  Timed Modeling and Verification of BPEL Processes Using Time Petri Nets , 2009, 2009 Ninth International Conference on Quality Software.

[15]  Xumin Liu Unraveling and Learning Workflow Models from Interleaved Event Logs , 2014, 2014 IEEE International Conference on Web Services.

[16]  Wil M. P. van der Aalst,et al.  Trace Alignment in Process Mining: Opportunities for Process Diagnostics , 2010, BPM.

[17]  Boudewijn F. van Dongen,et al.  Conformance Checking Using Cost-Based Fitness Analysis , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference.

[18]  MengChu Zhou,et al.  Performance modeling and analysis of workflow , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[19]  Boudewijn F. van Dongen,et al.  Replaying history on process models for conformance checking and performance analysis , 2012, WIREs Data Mining Knowl. Discov..

[20]  Wil M. P. van der Aalst,et al.  Conformance Checking in the Large: Partitioning and Topology , 2013, BPM.

[21]  Wil M. P. van der Aalst,et al.  Aligning Event Logs and Declarative Process Models for Conformance Checking , 2012, BPM.

[22]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[23]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[24]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[25]  Jan Mendling,et al.  Seven process modeling guidelines (7PMG) , 2010, Inf. Softw. Technol..

[26]  Philip S. Yu,et al.  Matching heterogeneous events with patterns , 2014, 2014 IEEE 30th International Conference on Data Engineering.

[27]  Wil M. P. van der Aalst,et al.  Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming , 2013, BPM.

[28]  Laks V. S. Lakshmanan,et al.  On approximating optimum repairs for functional dependency violations , 2009, ICDT '09.

[29]  Hans-Arno Jacobsen,et al.  Static and Dynamic Process Change , 2018, IEEE Transactions on Services Computing.

[30]  Tao Jin,et al.  Querying business process model repositories , 2014, World Wide Web.

[31]  Mathias Weske,et al.  Improving Documentation by Repairing Event Logs , 2013, PoEM.

[32]  Robert A. Wagner,et al.  An Extension of the String-to-String Correction Problem , 1975, JACM.

[33]  Wil M. P. van der Aalst,et al.  An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data , 2015, Inf. Syst..