Discovering and Exploring State-Based Models for Multi-perspective Processes

Process mining provides fact-based insights into process behaviour captured in event data. In this work we aim to discover models for processes where different facets, or perspectives, of the process can be identified. Instead of focussing on the events or activities that are executed in the context of a particular process, we concentrate on the states of the different perspectives and discover how they are related. We present a formalisation of these relations and an approach to discover state-based models highlighting them. The approach has been implemented using the process mining framework ProM and provides a highly interactive visualisation of the multi-perspective state-based models. This tool has been evaluated on the BPI Challenge 2012 data of a loan application process and on product user behaviour data gathered by Philips during the development of a smart baby bottle equipped with various sensors.

[1]  Kathi Fisler,et al.  Modular verification of collaboration-based software designs , 2001, ESEC/FSE-9.

[2]  Dirk Fahland,et al.  Discovering Interacting Artifacts from ERP Systems , 2015, IEEE Transactions on Services Computing.

[3]  Alexander L. Wolf,et al.  Discovering models of software processes from event-based data , 1998, TSEM.

[4]  Tiziano Villa,et al.  Synthesis of Finite State Machines: Functional Optimization , 2010 .

[5]  Rajeev Raman,et al.  Mining State-Based Models from Proof Corpora , 2014, CICM.

[6]  Sander J. J. Leemans,et al.  Exploring Processes and Deviations , 2014, Business Process Management Workshops.

[7]  Robert Tibshirani,et al.  The Elements of Statistical Learning: Data Mining, Inference, and Prediction, 2nd Edition , 2001, Springer Series in Statistics.

[8]  Christel Baier,et al.  Principles of model checking , 2008 .

[9]  A. J. M. M. Weijters,et al.  Flexible Heuristics Miner (FHM) , 2011, 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM).

[10]  Harald C. Gall,et al.  Consistency of business process models and object life cycles , 2006, MoDELS'06.

[11]  Yuriy Brun,et al.  Inferring models of concurrent systems from logs of their behavior with CSight , 2014, ICSE.

[12]  Leonardo Mariani,et al.  Automatic generation of software behavioral models , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[13]  Jerome A. Feldman,et al.  On the Synthesis of Finite-State Machines from Samples of Their Behavior , 1972, IEEE Transactions on Computers.

[14]  Viara Popova,et al.  Artifact Lifecycle Discovery , 2013, Int. J. Cooperative Inf. Syst..

[15]  Boudewijn F. van Dongen,et al.  Process mining: a two-step approach to balance between underfitting and overfitting , 2008, Software & Systems Modeling.