Deviations discovery using aligning event logs to business processes using A

In this study, we focus on deviations discovery for a whole business process in general. Meanwhile, we provides a detailed analysis and propose different theoretical foundation towards finding optimal alignments using A* search strategy and validate it in practice. In this study, we formalize the problem of finding optimal alignments between an action-space and an event trace using A* algorithm. We also propose several shortcuts for it.

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

[2]  van der Wmp Wil Aalst,et al.  Memory-efficient alignment of observed and modeled behavior , 2013 .

[3]  Rina Dechter,et al.  Generalized best-first search strategies and the optimality of A* , 1985, JACM.

[4]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

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

[6]  Remco M. Dijkman,et al.  A visual token-based formalization of BPMN 2.0 based on in-place transformations , 2013, Inf. Softw. Technol..

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

[8]  W. M. P. V. D. Aalsta,et al.  YAWL : yet another workflow language , 2015 .

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

[10]  Lre Lonneke Vermeulen.  A process modelling method for care pathways , 2013 .

[11]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[12]  Karsten Wolf,et al.  Generating Petri Net State Spaces , 2007, ICATPN.

[13]  Boudewijn F. van Dongen,et al.  Process Mining and Verification of Properties: An Approach Based on Temporal Logic , 2005, OTM Conferences.

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

[15]  Jorge Cardoso,et al.  How to Measure the Control-flow Complexity of Web Processes and Workflows , 2005 .