Maximizing Synchronization for Aligning Observed and Modelled Behaviour

Conformance checking is a branch of process mining that aims to assess to what degree event data originating from the execution of a (business) process and a corresponding reference model conform to each other. Alignments have been recently introduced as a solution for conformance checking and have since rapidly developed into becoming the de facto standard.

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

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

[3]  Boudewijn F. van Dongen,et al.  Tuning Alignment Computation: An Experimental Evaluation , 2017, ATAED@Petri Nets/ACSD.

[4]  Wil M. P. van der Aalst,et al.  RapidProM: Mine Your Processes and Not Just Your Data , 2017, ArXiv.

[5]  Jussi Vanhatalo,et al.  Simplified Computation and Generalization of the Refined Process Structure Tree , 2010, WS-FM.

[6]  Benoît Depaire,et al.  PTandLogGenerator: A Generator for Artificial Event Data , 2016, BPM.

[7]  Wil M. P. van der Aalst,et al.  Process mining in software systems: Discovering real-life business transactions and process models from distributed systems , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

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

[9]  Wil M. P. van der Aalst,et al.  Symbolically Aligning Observed and Modelled Behaviour , 2018, 2018 18th International Conference on Application of Concurrency to System Design (ACSD).

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

[11]  Chet Langin,et al.  Languages and Machines: An Introduction to the Theory of Computer Science , 2007 .

[12]  A Arya Adriansyah,et al.  Aligning observed and modeled behavior , 2014 .

[13]  Marwan Hassani,et al.  Online conformance checking: relating event streams to process models using prefix-alignments , 2017, International Journal of Data Science and Analytics.

[14]  Alfons Laarman,et al.  LTSmin: High-Performance Language-Independent Model Checking , 2015, TACAS.

[15]  Robert A. Wagner,et al.  Order-n correction for regular languages , 1974, CACM.

[16]  Boudewijn F. van Dongen,et al.  Cost-Based Fitness in Conformance Checking , 2011, 2011 Eleventh International Conference on Application of Concurrency to System Design.

[17]  Dirk Fahland,et al.  Analysis on demand: Instantaneous soundness checking of industrial business process models , 2011, Data Knowl. Eng..

[18]  Josep Carmona,et al.  A Framework for Online Conformance Checking , 2017, Business Process Management Workshops.

[19]  Boudewijn F. van Dongen,et al.  Component behavior discovery from software execution data , 2016, 2016 IEEE Symposium Series on Computational Intelligence (SSCI).

[20]  Boudewijn F. van Dongen,et al.  XES, XESame, and ProM 6 , 2010, CAiSE Forum.

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