On the discovery of declarative control flows for artful processes

ACM Transactions on Management Information Systems

Volumn 5, Issue 4, 2015, Pages

  Di Ciccio, Claudio ^a   Mecella, Massimo ^b  

^a VIENNA UNIVERSITY OF ECONOMICS AND BUSINESS   (Austria)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Artful processes; Control flow discovery; Declarative process model; MailOfMine; Process mining

Indexed keywords

DECISION MAKING; HUMAN RESOURCE MANAGEMENT; KNOWLEDGE BASED SYSTEMS; MODELING LANGUAGES; QUALITY CONTROL;

ARTFUL PROCESS; CONTROL FLOWS; DECLARATIVE PROCESS MODELS; MAILOFMINE; PROCESS MINING;

PROCESS CONTROL;

EID: 84923644985     PISSN: 2158656X     EISSN: 21586578     Source Type: Journal    
DOI: 10.1145/2629447     Document Type: Article

References (64)

1. Rakesh Agrawal, Dimitrios Gunopulos, and Frank Leymann. 1998. Mining process models from workflow logs. In Advances in Database Technology (EDBT'98), Hans-Jörg Schek, Gustavo Alonso, Felix Saltor, and Isidro Ramos (Eds.). Lecture Notes in Computer Science, Vol. 1377. Springer, Berlin, 467-483. DOI: http://dx.doi.org/10.1007/BFb0101003
2. Rakesh Agrawal and Ramakrishnan Srikant. 1994. Fast algorithms for mining association rules in large databases. In VLDB, Jorge B. Bocca, Matthias Jarke, and Carlo Zaniolo (Eds.). Morgan Kaufmann, 487-499.
3. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. 2008. Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9, 4(August 2008), 29:1-29:43. DOI: http://dx.doi.org/10.1145/1380572.1380578
4. Gustavo Alonso, Peter Dadam, and Michael Rosemann (Eds.). 2007. Proceedings of the 5th Internatonal Conference on Business Process Management (BPM'07). Lecture Notes in Computer Science, Vol. 4714. Springer.
5. Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. 2010a. Probabilistic declarative process mining. In KSEM (Lecture Notes in Computer Science), Yaxin Bi and Mary-Anne Williams (Eds.), Vol. 6291. Springer, 292-303. DOI: http://dx.doi.org/10.1007/978-3-642-15280-1-28
6. Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. 2010b. Probabilistic logic-based process mining. In CILC (CEUR Workshop Proceedings), Wolfgang Faber and Nicola Leone (Eds.), Vol. 598. Retrieved from http://ceur-ws.org/Vol-598/paper17.pdf.
7. R. P. Jagadeesh Chandra Bose, Fabrizio Maria Maggi, and Wil M. P. van der Aalst. 2013. Enhancing declare maps based on event correlations. In BPM (Lecture Notes in Computer Science), Florian Daniel, Jianmin Wang, and Barbara Weber (Eds.), Vol. 8094. Springer, 97-112. DOI: http://dx.doi.org/10.1007/978-3-642-40176-3-9
8. Joos C. A. M. Buijs, Boudewijn F. van Dongen, and Wil M. P. van der Aalst. 2012. On the role of fitness, precision, generalization and simplicity in process discovery. In CoopIS (Lecture Notes in Computer Science), Robert Meersman, Hervè Panetto, Tharam S. Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, and Isabel F. Cruz (Eds.), Vol. 7565. Springer. On the Move to Meaningful Internet Systems (OTM 2012) Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012.
9. Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. 2009. Exploiting inductive logic programming techniques for declarative process mining. T. Petri Nets Other Models Concurrency 2(2009), 278-295. DOI: http://dx.doi.org/10.1007/978-3-642-00899-3-16
10. Edmund M. Clarke, Orna Grumberg, and Doron Peled. 2001. Model Checking. MIT Press.
11. Jonathan E. Cook and Alexander L. Wolf. 1998. Discovering models of software processes from eventbased data. ACM Trans. Softw. Eng. Methodol. 7, 3(1998), 215-249. DOI: http://dx.doi.org/10.1145/287000.287001
12. Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, and Alexandre Yakovlev. 1998. Deriving Petri nets from finite transition systems. IEEE Trans. Comp. 47, 8(Aug. 1998), 859-882. DOI: http://dx.doi.org/10.1109/12.707587
13. Thomas H. Davenport, Sirkka L. Jarvenpaa, and Michael C. Beers. 1996. Improving knowledge work processes. Sloan Manage. Rev. 37, 4(1996), 53-65. Retrieved from http://sloanreview.mit.edu/the-magazine/articles/1996/summer/3744/improving-knowledge-work-processes.
14. Giuseppe De Giacomo and Moshe Y. Vardi. 2013. Linear temporal logic and linear dynamic logic on finite traces. In IJCAI, Francesca Rossi (Ed.). IJCAI/AAAI. Retrieved from http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997.
15. Massimiliano de Leoni, Fabrizio Maria Maggi, and Wil M. P. van der Aalst. 2014. An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Information Systems (2014). DOI: http://dx.doi.org/10.1016/j.is.2013.12.005
16. Massimiliano de Leoni, Fabrizio Maria Maggi, and Wil M. P. van der Aalst. 2012. Aligning event logs and declarative process models for conformance checking. In BPM (Lecture Notes in Computer Science), Alistair P. Barros, Avigdor Gal, and Ekkart Kindler (Eds.), Vol. 7481. Springer, 82-97. DOI: http://dx.doi.org/10.1007/978-3-642-32885-5-6
17. Ana Karla A. de Medeiros, A. J. M. M. Weijters, and Wil M. P. van der Aalst. 2007. Genetic process mining: An experimental evaluation. Data Min. Knowl. Discov. 14, 2(2007), 245-304. DOI: http://dx.doi.org/10.1007/s10618-006-0061-7
18. Jörg Desel and Wolfgang Reisig. 1996. The synthesis problem of Petri nets. Acta Inform. 33, 4(1996), 297-315. DOI: http://dx.doi.org/10.1007/s002360050046
19. Elena Deza and Michel Deza. 2006. Dictionary of Distances. North-Holland.
20. Claudio Di Ciccio, Andrea Marrella, and Alessandro Russo. 2012. Knowledge-intensive processes: An overview of contemporary approaches. In Proceedings of the 1st International Workshop on Knowledgeintensive Business Processes (KiBP'12), Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardina, and Andrea Marrella (Eds.), Vol. 861. 33-47. Retrieved from http://ceur-ws.org/Vol-861/KiBP2012-paper-2.pdf.
21. Claudio Di Ciccio, Andrea Marrella, and Alessandro Russo. 2014. Knowledge-intensive processes: Characteristics, requirements and analysis of contemporary approaches. J. Data Semant. (2014). DOI: http://dx.doi.org/10.1007/s13740-014-0038-4
22. Claudio Di Ciccio and Massimo Mecella. 2012a. MINERful, a Mining Algorithm for Declarative Process Constraints in MailOfMine. Technical Report. Dipartimento di Ingegneria Informatica, Automatica e Gestionale "Antonio Ruberti" - SAPIENZA, Università di Roma. Retrieved from http://ojs. uniroma1.it/index.php/DIS-TechnicalReports/issue/view/416.
23. Claudio Di Ciccio and Massimo Mecella. 2012b. Mining constraints for artful processes. In Proceedings of the 15th International Conference on Business Information Systems (BIS'12). Witold Abramowicz, Dalia Kriksciuniene, and Virgilijus Sakalauskas (Eds.), Vol. 117. Springer, 11-23. DOI: http://dx. doi.org/10.1007/978-3-642-30359-3-2
24. Claudio Di Ciccio and Massimo Mecella. 2013a. Mining artful processes from knowledge workers' emails. IEEE Internet Computing 17, 5(2013), 10-20. DOI: http://dx.doi.org/10.1109/MIC.2013.60
25. Claudio Di Ciccio and Massimo Mecella. 2013b. Studies on the discovery of declarative control flows from error-prone data. In Proceedings of the 3rd International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA'13), Rafael Accorsi, Paolo Ceravolo, and Philippe Cudre-Mauroux (Eds.), Vol. 1027. 31-45. Retrieved from http://ceur-ws.org/Vol-1027/paper3.pdf.
26. Claudio Di Ciccio and Massimo Mecella. 2013c. A two-step fast algorithm for the automated discovery of declarative workflows. In Proceedings of the 4th IEEE Symposium on Computational Intelligence and Data Mining (CIDM'13). IEEE, 135-142. DOI: http://dx.doi.org/10.1109/CIDM.2013.6597228
27. Claudio Di Ciccio, Massimo Mecella, Monica Scannapieco, Diego Zardetto, and Tiziana Catarci. 2012. MailOfMine: Analyzing mail messages for mining artful collaborative processes. In Data-Driven Process Discovery and Analysis, Karl Aberer, Ernesto Damiani, and Tharam Dillon (Eds.). Lecture Notes in Business Information Processing, Vol. 116. Springer, 55-81. DOI: http://dx.doi.org/10.1007/978-3-642-34044-4-4
28. Volker Diekert and Paul Gastin. 2008. First-order definable languages. In Logic and Automata (Texts in Logic and Games), Jörg Flum, Erich Grädel, and Thomas Wilke (Eds.), Vol. 2. Amsterdam University Press, 261-306.
29. Marie-Christine Fauvet and Boudewijn F. van Dongen (Eds.). 2013. Proceedings of the BPM Demo Sessions 2013. CEUR Workshop Proceedings, Vol. 1021. CEUR-WS.org. Retreived from http://ceur-ws.org/Vol-1021.
30. Dov Gabbay, Amir Pnueli, Saharon Shelah, and Jonathan Stavi. 1980. On the temporal analysis of fairness. In Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'80). ACM, New York, NY, 163-173. DOI: http://dx.doi.org/10.1145/567446.567462
31. Norbert Gronau and Edzard Weber. 2004. Management of knowledge intensive business processes. In Business Process Management (Lecture Notes in Computer Science), Jörg Desel, Barbara Pernici, and Mathias Weske (Eds.), Vol. 3080. Springer, 163-178. DOI: http://dx.doi.org/10.1007/978-3-540-25970-1-11
32. Christian W. Günther and Eric Verbeek. 2012. XES Standard Definition. Retrieved from http://www.xesstandard.org/-media/xes/xesstandarddefinition-1.4.pdf.
33. Charles Hill, Robert Yates, Carol Jones, and Sandra L. Kogan. 2006. Beyond predictable workflows: Enhancing productivity in artful business processes. IBM Syst. J. 45, 4(2006), 663-682. DOI: http://dx.doi.org/10.1147/sj.454.0663
34. Orna Kupferman and Moshe Y. Vardi. 2003. Vacuity detection in temporal model checking. STTT 4, 2(2003), 224-233. DOI: http://dx.doi.org/10.1007/s100090100062
35. Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. 2007a. Inducing declarative logic-based models from labeled traces. In Proceedings of the 5th International Conference on Business Process Management (BPM'07). 344-359. DOI: http://dx.doi.org/10.1007/978-3-540-75183-0-25
36. Evelina Lamma, Paola Mello, Fabrizio Riguzzi, and Sergio Storari. 2007b. Applying inductive logic programming to process mining. In ILP (Lecture Notes in Computer Science), Hendrik Blockeel, Jan Ramon, Jude W. Shavlik, and Prasad Tadepalli (Eds.), Vol. 4894. Springer, 132-146. DOI: http://dx.doi.org/10.1007/978-3-540-78469-2-16
37. Fabrizio Maria Maggi. 2013. Declarative process mining with the declare component of ProM. In Proceedings of the BPM Demo Sessions. Retrieved from http://ceur-ws.org/Vol-1021/paper-8.pdf.
38. Fabrizio Maria Maggi, R. P. Jagadeesh Chandra Bose, and Wil M. P. van der Aalst. 2012. Efficient discovery of understandable declarative process models from event logs. In CAiSE (Lecture Notes in Computer Science), Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper, and Stanislaw Wrycza (Eds.), Vol. 7328. Springer, 270-285. DOI: http://dx.doi.org/10.1007/978-3-642-31095-9-18
39. Fabrizio Maria Maggi, R. P. Jagadeesh Chandra Bose, and Wil M. P. van der Aalst. 2013. A knowledge-based integrated approach for discovering and repairing declare maps. In CAiSE (Lecture Notes in Computer Science), Camille Salinesi, Moira C. Norrie, and Oscar Pastor (Eds.), Vol. 7908. Springer, 433-448. DOI: http://dx.doi.org/10.1007/978-3-642-38709-8-28
40. Fabrizio Maria Maggi, Arjan J. Mooij, and Wil M. P. van der Aalst. 2011. User-guided discovery of declarative process models. In CIDM. IEEE, 192-199. DOI: http://dx.doi.org/10.1109/CIDM.2011.5949297
41. Christopher D. Manning, Prabhakar Raghavan, and Hinrich Schütze. 2008. Introduction to Information Retrieval. Cambridge University Press.
42. Jan Mendling, Gustaf Neumann, and Wil M. P. van der Aalst. 2007a. Understanding the occurrence of errors in process models based on metrics. In OTM Conferences (1) (Lecture Notes in Computer Science), Robert Meersman and Zahir Tari (Eds.), Vol. 4803. Springer, 113-130. DOI: http://dx.doi.org/10.1007/978-3-540-76848-7-9
43. Jan Mendling, Hajo A. Reijers, and Jorge Cardoso. 2007b. What makes process models understandable? See Alonso et al. [2007], 48-63. DOI: http://dx.doi.org/10.1007/978-3-540-75183-0-4
44. Marco Montali. 2010. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach. Lecture Notes in Business Information Processing, Vol. 56. Springer. DOI: http://dx. doi.org/10.1007/978-3-642-14538-4
45. Maja Pesic, Dragan Bosnacki, and Wil M. P. van der Aalst. 2010. Enacting declarative languages using LTL: Avoiding errors and improving performance. In SPIN (Lecture Notes in Computer Science), Jaco van de Pol and Michael Weber (Eds.), Vol. 6349. Springer, 146-161. DOI: http://dx.doi.org/10.1007/978-3-642-16164-3-11
46. Maja Pesic, Helen Schonenberg, and Wil M. P. van der Aalst. 2007. DECLARE: Full support for looselystructured processes. In EDOC. IEEE Computer Society, 287-300. DOI: http://doi.ieeecomputersociety.org/10.1109/EDOC.2007.25
47. Maja Pesic and Wil M. P. van der Aalst. 2006. A declarative approach for flexible business processes management. In Business Process Management Workshops (Lecture Notes in Computer Science), Johann Eder and Schahram Dustdar (Eds.), Vol. 4103. Springer, 169-180. DOI: http://dx.doi.org/10.1007/11837862-18
48. Paul Pichler, Barbara Weber, Stefan Zugal, Jakob Pinggera, Jan Mendling, and Hajo A. Reijers. 2011. Imperative versus declarative process modeling languages: An empirical investigation. In Business Process Management Workshops (1) (Lecture Notes in Business Information Processing), Florian Daniel, Kamel Barkaoui, and Schahram Dustdar (Eds.), Vol. 99. Springer, 383-394. DOI: http://dx.doi.org/10.1007/978-3-642-28108-2-37
49. Matthew Richardson and Pedro Domingos. 2006. Markov logic networks. Machine Learn. 62, 1-2(2006), 107-136. DOI: http://dx.doi.org/10.1007/s10994-006-5833-1
50. Dennis M. M. Schunselaar, Fabrizio Maria Maggi, and Natalia Sidorova. 2012. Patterns for a log-based strengthening of declarative compliance models. In IFM (Lecture Notes in Computer Science), John Derrick, Stefania Gnesi, Diego Latella, and Helen Treharne (Eds.), Vol. 7321. Springer, 327-342. DOI: http://dx.doi.org/10.1007/978-3-642-30729-4-23
51. Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Adamns, and Nick Russell (Eds.). 2010. Modern Business Process Automation: YAWL and Its Support Environment. Springer.
52. Wil M. P. van der Aalst, Vladimir Rubin, Eric Verbeek, Boudewijn F. van Dongen, Ekkart Kindler, and Christian W. Günther. 2010. Process mining: A two-step approach to balance between underfitting and overfitting. Software Syst. Model. 9, 1(2010), 87-111. http://dx.doi.org/10.1007/s10270-008-0106-z
53. Wil M. P. van der Aalst. 2011. Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer. I-XVI, 1-352 pages. DOI: http://dx.doi.org/10.1007/978-3-642-19345-3
54. Wil M. P. van der Aalst. 2012. Process mining: Overview and opportunities. ACM Trans. Manage. Inf. Syst. 3, 2, Article 7(July 2012), 17 pages. DOI: http://dx.doi.org/10.1145/2229156.2229157
55. Wil M. P. van der Aalst, Maja Pesic, and Helen Schonenberg. 2009a. Declarative workflows: Balancing between flexibility and support. Comput. Sci. R&D 23, 2(2009), 99-113. DOI: http://dx.doi.org/10.1007/s00450-009-0057-9
56. Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, Anne Rozinat, Eric Verbeek, and Ton Weijters. 2009b. ProM: The process mining toolkit. In BPM (Demos) (CEUR Workshop Proceedings), Ana Karla A. de Medeiros and Barbara Weber (Eds.), Vol. 489. Retrieved from http://ceur-ws.org/Vol-489/paper3.pdf.
57. Wil M. P. van der Aalst, Ton Weijters, and Laura Maruster. 2004. Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16, 9(2004), 1128-1142.
58. Boudewijn F. van Dongen. 2011. Real-life event logs: A hospital log. In Proceedings of the 1st International Business Process Intelligence Challenge (BPIC'11). DOI: http://dx.doi.org/10.4121/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54
59. Boudewijn F. van Dongen. 2012. Real-life event logs: A loan application process. In Proceedings of the 2nd International Business Process Intelligence Challenge (BPIC'12). DOI: http://dx.doi.org/10.4121/uuid:3926db30-f712-4394-aebc-75976070e91f
60. Paul Warren, Nick Kings, Ian Thurlow, John Davies, Tobias Buerger, Elena Simperl, Carlos Ruiz, Jose Manuel Gomez-Perez, Vadim Ermolayev, Rayid Ghani, Marcel Tilly, Tom Bösser, and Ali Imtiaz. 2009. Improving knowledge worker productivity: The active integrated approach. BT Technol. J. 26, 2(2009), 165-176.
61. A. J. M. M. Weijters and Wil M. P. van der Aalst. 2003. Rediscovering workflow models from event-based data using little thumb. Integrated Comput.-Aided Eng. 10, 2(2003), 151-162.
62. Lijie Wen, Wil M. P. van der Aalst, Jianmin Wang, and Jiaguang Sun. 2007. Mining process models with nonfree-choice constructs. Data Min. Knowl. Discov. 15, 2(2007), 145-180. DOI: http://dx.doi.org/10.1007/s10618-007-0065-y
63. Michael Westergaard. 2011. Better algorithms for analyzing and enacting declarative workflow languages using LTL. In BPM (Lecture Notes in Computer Science), Stefanie Rinderle-Ma, Farouk Toumani, and Karsten Wolf (Eds.), Vol. 6896. Springer, 83-98. DOI: http://dx.doi.org/10.1007/978-3-642-23059-2-10
64. Michael Westergaard and Christian Stahl. 2013. Leveraging super-scalarity and parallelism to provide fast declare mining without restrictions. In Proceedings of the BPM Demo Sessions. Retrieved from http://ceur-ws.org/Vol-1021/paper-10.pdf.