Model repair - aligning process models to reality

Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities.

[1]  Dirk Fahland,et al.  Repairing Process Models to Reflect Reality , 2012, BPM.

[2]  Boudewijn F. van Dongen,et al.  Alignment Based Precision Checking , 2012, Business Process Management Workshops.

[3]  Bart Baesens,et al.  Robust Process Discovery with Artificial Negative Events , 2009, J. Mach. Learn. Res..

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

[5]  Boudewijn F. van Dongen,et al.  Process Discovery using Integer Linear Programming , 2009, Fundam. Informaticae.

[6]  Luigi Pontieri,et al.  Discovering expressive process models by clustering log traces , 2006, IEEE Transactions on Knowledge and Data Engineering.

[7]  Wil M. P. van der Aalst,et al.  Decision Mining in ProM , 2006, Business Process Management.

[8]  Alexander L. Wolf,et al.  Software process validation: quantitatively measuring the correspondence of a process to a model , 1999, TSEM.

[9]  Stephen A. White,et al.  Using BPMN to Model a BPEL Process , 2005 .

[10]  Wil M. P. van der Aalst,et al.  Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System , 2005, OTM Conferences.

[11]  Akhil Kumar,et al.  An Analysis and Taxonomy of Unstructured Workflows , 2005, Business Process Management.

[12]  Niels Lohmann,et al.  Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance , 2008, BPM.

[13]  Bart Baesens,et al.  Leveraging process discovery with trace clustering and text mining for intelligent analysis of incident management processes , 2012, 2012 IEEE Congress on Evolutionary Computation.

[14]  Wil M. P. van der Aalst,et al.  From BPMN Process Models to BPEL Web Services , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[15]  Toon Calders,et al.  Using minimum description length for process mining , 2009, SAC '09.

[16]  Vladimir I. Levenshtein,et al.  Binary codes capable of correcting deletions, insertions, and reversals , 1965 .

[17]  Ekkart Kindler,et al.  Incremental Workflow Mining Based on Document Versioning Information , 2005, ISPW.

[18]  Wil M. P. van der Aalst,et al.  Towards comprehensive support for organizational mining , 2008, Decis. Support Syst..

[19]  Wil M. P. van der Aalst,et al.  Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models , 2009, Business Process Management Workshops.

[20]  Bart Baesens,et al.  A robust F-measure for evaluating discovered process models , 2011, 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM).

[21]  Cirano Iochpe,et al.  An Incremental Process Mining Approach to Extract Knowledge from Legacy Systems , 2010, 2010 14th IEEE International Enterprise Distributed Object Computing Conference.

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

[23]  Wil M. P. van der Aalst,et al.  Process Mining Applied to the Test Process of Wafer Scanners in ASML , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[24]  Boudewijn F. van Dongen,et al.  Towards Robust Conformance Checking , 2010, Business Process Management Workshops.

[25]  Tao Li,et al.  Incremental Workflow Mining with Optional Patterns and Its Application to Production Printing Process , 2007 .

[26]  Boudewijn F. van Dongen,et al.  On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery , 2012, OTM Conferences.

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

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

[29]  Jan Vanthienen,et al.  IEEE Task force on process mining , 2011 .

[30]  Niels Lohmann,et al.  Analyzing Interacting BPEL Processes , 2006, Business Process Management.

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

[32]  Wil M. P. van der Aalst,et al.  Genetic process mining: an experimental evaluation , 2007, Data Mining and Knowledge Discovery.

[33]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[34]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[35]  Josep Carmona,et al.  A Fresh Look at Precision in Process Conformance , 2010, BPM.

[36]  Antonio Brogi,et al.  From BPEL Processes to YAWL Workflows , 2006, WS-FM.

[37]  Dirk Fahland,et al.  Simplifying Mined Process Models: An Approach Based on Unfoldings , 2011, BPM.

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

[39]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.

[40]  Dirk Fahland,et al.  Simplifying discovered process models in a controlled manner , 2013, Inf. Syst..

[41]  Boudewijn F. van Dongen,et al.  Data- and Resource-Aware Conformance Checking of Business Processes , 2012, BIS.

[42]  Maria E. Orlowska,et al.  Pockets of Flexibility in Workflow Specification , 2001, ER.

[43]  Arthur H. M. ter Hofstede,et al.  Automated Error Correction of Business Process Models , 2011, BPM.

[44]  Wil M. P. van der Aalst,et al.  Analysis of Patient Treatment Procedures , 2011, Business Process Management Workshops.

[45]  Jana Koehler,et al.  Untangling Unstructured Cyclic Flows - A Solution Based on Continuations , 2004, CoopIS/DOA/ODBASE.

[46]  Manfred Reichert,et al.  Discovering Reference Models by Mining Process Variants Using a Heuristic Approach , 2009, BPM.

[47]  Wil M. P. van der Aalst,et al.  Process diagnostics using trace alignment: Opportunities, issues, and challenges , 2012, Inf. Syst..

[48]  Wil M. P. van der Aalst,et al.  Abstractions in Process Mining: A Taxonomy of Patterns , 2009, BPM.

[49]  Jorge Munoz-Gama,et al.  Enhancing precision in Process Conformance: Stability, confidence and severity , 2011, 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM).

[50]  Wil M. P. van der Aalst,et al.  Activity Mining by Global Trace Segmentation , 2009, Business Process Management Workshops.

[51]  Marlon Dumas,et al.  Translating Standard Process Models to BPEL , 2006, CAiSE.

[52]  Remco M. Dijkman,et al.  Graph Matching Algorithms for Business Process Model Similarity Search , 2009, BPM.