Fast Conformance Analysis Based on Activity Log Abstraction

Process mining techniques focus on bridging the gap between activity logs and business process management. Process discovery is a sub-field of process mining which uses activity logs in order to discover process models. Some process discovery techniques, such as interactive process discovery and genetic algorithms, rely on the so-called conformance analysis. In such techniques, process models are discovered in an incremental way, and the quality of the process models is quantified by the results of conformance analysis. State-of-the-art conformance analysis techniques are typically optimized and devised for one-time use. However, in process discovery settings which are incremental in nature, it is imperative to have fast conformance analysis. Moreover, the activity logs used for conformance analysis at each stage remain the same. In this paper, we propose an approach that exploits this fact in order to expedite conformance analysis by approximating the conformance results. We use an abstracted version of an activity log, which can be used to compare with the changing (or new) process models in an incremental process discovery setting. Our results show that the proposed technique is able to outperform traditional conformance techniques in terms of performance by approximating conformance scores.

[1]  Wil M. P. van der Aalst,et al.  Fast Incremental Conformance Analysis for Interactive Process Discovery , 2018, BIS.

[2]  Sander J. J. Leemans,et al.  Scalable process discovery and conformance checking , 2016, Software & Systems Modeling.

[3]  Boudewijn F. van Dongen,et al.  Quality Dimensions in Process Discovery: The Importance of Fitness, Precision, Generalization and Simplicity , 2014, Int. J. Cooperative Inf. Syst..

[4]  Wil M. P. van der Aalst,et al.  Decomposing Petri nets for process mining: A generic approach , 2013, Distributed and Parallel Databases.

[5]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[6]  Wil M. P. van der Aalst,et al.  ProDiGy : Human-in-the-loop process discovery , 2018, 2018 12th International Conference on Research Challenges in Information Science (RCIS).

[7]  Josep Carmona,et al.  Anti-alignments in Conformance Checking - The Dark Side of Process Models , 2016, Petri Nets.

[8]  Josep Carmona,et al.  A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models , 2016, BPM.

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

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

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

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

[13]  Sander J. J. Leemans,et al.  Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour , 2013, Business Process Management Workshops.

[14]  Josep Carmona,et al.  Model and Event Log Reductions to Boost the Computation of Alignments , 2016, SIMPDA.

[15]  Wil M. P. van der Aalst,et al.  Divide and Conquer: A Tool Framework for Supporting Decomposed Discovery in Process Mining , 2017, Comput. J..

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

[17]  Wil M. P. van der Aalst,et al.  Single-Entry Single-Exit decomposed conformance checking , 2014, Inf. Syst..

[19]  G. G. Meyer,et al.  Lecture notes in business information processing , 2009 .

[20]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[21]  Wil M. P. van der Aalst,et al.  Process Mining , 2016, Springer Berlin Heidelberg.

[22]  Evelina Lamma,et al.  Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.

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

[24]  Josep Carmona The Alignment of Formal, Structured and Unstructured Process Descriptions , 2017, Petri Nets.

[25]  H. M. W. Verbeek Decomposed Replay Using Hiding and Reduction as Abstraction , 2017, Trans. Petri Nets Other Model. Concurr..