On the Discovery of Declarative Control Flows for Artful Processes

Artful processes are those processes in which the experience, intuition, and knowledge of the actors are the key factors in determining the decision making. They are typically carried out by the “knowledge workers,” such as professors, managers, and researchers. They are often scarcely formalized or completely unknown a priori. Throughout this article, we discuss how we addressed the challenge of discovering declarative control flows in the context of artful processes. To this extent, we devised and implemented a two-phase algorithm, named MINERful. The first phase builds a knowledge base, where statistical information extracted from logs is represented. During the second phase, queries are evaluated on that knowledge base, in order to infer the constraints that constitute the discovered process. After outlining the overall approach and offering insight on the adopted process modeling language, we describe in detail our discovery technique. Thereupon, we analyze its performances, both from a theoretical and an experimental perspective. A user-driven evaluation of the quality of results is also reported on the basis of a real case study. Finally, a study on the fitness of discovered models with respect to synthetic and real logs is presented.

[1]  Wil M. P. van der Aalst,et al.  Process Mining: Overview and Opportunities , 2012, ACM Trans. Manag. Inf. Syst..

[2]  Evelina Lamma,et al.  Probabilistic Logic-Based Process Mining , 2010, CILC.

[3]  Evelina Lamma,et al.  Inducing Declarative Logic-Based Models from Labeled Traces , 2007, BPM.

[4]  Marco Montali Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach , 2010 .

[5]  Claudio Di Ciccio,et al.  Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches , 2015, Journal on Data Semantics.

[6]  Stephan Merz,et al.  Model Checking , 2000 .

[7]  Boudewijn F. van Dongen,et al.  ProM: The Process Mining Toolkit , 2009, BPM.

[8]  Wolfgang Reisig,et al.  The synthesis problem of Petri nets , 1993, Acta Informatica.

[9]  A. Sperduti,et al.  User-guided discovery of declarative process models , 2011 .

[10]  Fabrizio Maria Maggi,et al.  Declarative Process Mining with the Declare Component of ProM , 2013, BPM.

[11]  Massimo Mecella,et al.  Studies on the Discovery of Declarative Control Flows from Error-prone Data , 2013, SIMPDA.

[12]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[13]  Jan Mendling,et al.  Imperative versus Declarative Process Modeling Languages: An Empirical Investigation , 2011, Business Process Management Workshops.

[14]  Dragan Bosnacki,et al.  Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance , 2010, SPIN.

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

[16]  Tiziana Catarci,et al.  MailOfMine - Analyzing Mail Messages for Mining Artful Collaborative Processes , 2011, SIMPDA.

[17]  Massimo Mecella,et al.  Mining Artful Processes from Knowledge Workers' Emails , 2013, IEEE Internet Computing.

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

[19]  Paul Gastin,et al.  First-order definable languages , 2008, Logic and Automata.

[20]  Massimo Mecella,et al.  A two-step fast algorithm for the automated discovery of declarative workflows , 2013, 2013 IEEE Symposium on Computational Intelligence and Data Mining (CIDM).

[21]  Marco Montali Declarative Open Interaction Models , 2010 .

[22]  Jan Mendling,et al.  Understanding the Occurrence of Errors in Process Models Based on Metrics , 2007, OTM Conferences.

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

[24]  Massimo Mecella,et al.  MINERful, a Mining Algorithm for Declarative Process Constraints in MailOfMine , 2012 .

[25]  Elena Deza,et al.  Dictionary of distances , 2006 .

[26]  Wil M. P. van der Aalst,et al.  Rediscovering workflow models from event-based data using little thumb , 2003, Integr. Comput. Aided Eng..

[27]  T. Davenport,et al.  Improving Knowledge Work Processes , 1996 .

[28]  Cw Christian Günther,et al.  XES - standard definition , 2014 .

[29]  Michael Westergaard,et al.  Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL , 2011, BPM.

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

[31]  Jianmin Wang,et al.  Mining process models with non-free-choice constructs , 2007, Data Mining and Knowledge Discovery.

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

[33]  Dimitrios Gunopulos,et al.  Mining Process Models from Workflow Logs , 1998, EDBT.

[34]  Wil M. P. van der Aalst,et al.  A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps , 2013, CAiSE.

[35]  Orna Kupferman,et al.  Vacuity Detection in Temporal Model Checking , 1999, CHARME.

[36]  Jan Mendling,et al.  What Makes Process Models Understandable? , 2007, BPM.

[37]  Giuseppe De Giacomo,et al.  Linear Temporal Logic and Linear Dynamic Logic on Finite Traces , 2013, IJCAI.

[38]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[39]  Ramakrishnan Srikant,et al.  Fast Algorithms for Mining Association Rules in Large Databases , 1994, VLDB.

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

[41]  Hinrich Schütze,et al.  Introduction to information retrieval , 2008 .

[42]  Michael Westergaard,et al.  Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions , 2013, BPM.

[43]  Charles Hill,et al.  Beyond predictable workflows: Enhancing productivity in artful business processes , 2006, IBM Syst. J..

[44]  Massimo Mecella,et al.  Mining Constraints for Artful Processes , 2012, BIS.

[45]  Luciano Lavagno,et al.  Deriving Petri Nets for Finite Transition Systems , 1998, IEEE Trans. Computers.

[46]  Claudio Di Ciccio,et al.  Knowledge-intensive Processes: An Overview of Contemporary Approaches , 2012, KiBP@KR.

[47]  Evelina Lamma,et al.  Exploiting Inductive Logic Programming Techniques for Declarative Process Mining , 2009, Trans. Petri Nets Other Model. Concurr..

[48]  Natalia Sidorova,et al.  Patterns for a Log-Based Strengthening of Declarative Compliance Models , 2012, IFM.

[49]  Matthew Richardson,et al.  Markov logic networks , 2006, Machine Learning.

[50]  Saharon Shelah,et al.  On the temporal analysis of fairness , 1980, POPL '80.

[51]  Evelina Lamma,et al.  Probabilistic Declarative Process Mining , 2010, KSEM.

[52]  Wil M. P. van der Aalst,et al.  An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data , 2015, Inf. Syst..

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

[54]  Wil M. P. van der Aalst,et al.  DECLARE: Full Support for Loosely-Structured Processes , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

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

[56]  Evelina Lamma,et al.  Applying Inductive Logic Programming to Process Mining , 2007, ILP.

[57]  Norbert Gronau,et al.  Management of Knowledge Intensive Business Processes , 2004, Business Process Management.

[58]  Wil M. P. van der Aalst,et al.  Efficient Discovery of Understandable Declarative Process Models from Event Logs , 2012, CAiSE.

[59]  Wil M. P. van der Aalst,et al.  Enhancing Declare Maps Based on Event Correlations , 2013, BPM.