Efficient discovery of Target-Branched Declare constraints

Information Systems

Volumn 56, Issue , 2016, Pages 258-283

  Di Ciccio, Claudio ^a   Maggi, Fabrizio Maria ^b   Mendling, Jan ^a  

^a VIENNA UNIVERSITY OF ECONOMICS AND BUSINESS   (Austria)

^b UNIVERSITY OF TARTU   (Estonia)

Author keywords

Declarative process; Knowledge discovery; Process mining

Indexed keywords

DECLARATIVE PROCESS; DECLARATIVE PROCESS MODELS; EVENT LOGS; MINING PROCESS; PROCEDURAL MODELS; PROCESS DISCOVERY; PROCESS MINING; PROCESS MODELING LANGUAGE; PROCESS-MODELS; RESEARCH CHALLENGES;

MODELING LANGUAGES;

EID: 84949726662     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2015.06.009     Document Type: Article

References (76)

1. M. Dumas, M.L. Rosa, J. Mendling, and H.A. Reijers Fundamentals of Business Process Management 2013 Springer Berlin, Heidelberg
2. M. Pesic, Constraint-based Workflow Management Systems: Shifting Control to Users Ph.D. thesis, Technische Universiteit Eindhoven, 2008, URL (http://repository.tue.nl/638413).
3. C. Di Ciccio, M. Mecella, Mining constraints for artful processes, in: W. Abramowicz, D. Kriksciuniene, V. Sakalauskas (Eds.), International Conference on Business Information Systems, Lecture Notes in Business Information Processing, vol. 117, Springer, Berlin, Heidelberg, 2012, pp. 11-23, http://dx.doi.org/10.1007/978-3-642-30359-3-2.
4. C. Di Ciccio, M. Mecella, A two-step fast algorithm for the automated discovery of declarative workflows, in: Symposium on Computational Intelligence and Data Mining, IEEE, 2013, pp. 135-142, doi:10.1109/CIDM.2013.6597228. URL (http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6588692).
5. F.M. Maggi, A.J. Mooij, W.M.P. van der Aalst, User-guided discovery of declarative process models, in: CIDM, IEEE, 2011, pp. 192-199, URL (http://dx.doi.org/10.1109/CIDM.2011.5949297).
6. F.M. Maggi, R.P.J.C. Bose, and W.M.P. van der Aalst Efficient discovery of understandable declarative process models from event logs J. Ralyté, X. Franch, S. Brinkkemper, S. Wrycza, CAiSE, Lecture Notes in Computer Science vol. 7328 2012 Springer Berlin, Heidelberg 270 285 URL (http://dx.doi.org/10.1007/978-3-642-31095-9-18)
7. F.M. Maggi, M. Dumas, L. García-Bañuelos, M. Montali, Discovering data-aware declarative process models from event logs, in: Daniel et al. [76], 11th International Conference on Business Process Management, pp. 81-96, doi:10.1007/978-3-642-40176-3-8.
8. C. Di Ciccio, F.M. Maggi, and J. Mendling Discovering target-branched declare constraints S.W. Sadiq, P. Soffer, H. Völzer, Business Process Management, Lecture Notes in Computer Science vol. 8659 2014 Springer 34 50 doi:10.1007/978-3-319-10172-9-3
9. B.F. van Dongen, Real-life event logs - logs from ITIL processes of Rabobank Group ICT, in: Fourth International Business Process Intelligence Challenge (BPIC14), 2014, doi:10.4121/uuid:c3e5d162-0cfd-4bb0-bd82-af5268819c35.
10. D. Fahland, D. Lübke, J. Mendling, H.A. Reijers, B. Weber, M. Weidlich, S. Zugal, Declarative versus imperative process modeling languages: the issue of understandability, in: T.A. Halpin, J. Krogstie, S. Nurcan, E. Proper, R. Schmidt, P. Soffer, R. Ukor (Eds.), Enterprise, Business-Process and Information Systems Modeling, 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Lecture Notes in Business Information Processing, vol. 29, Springer, Berlin, Heidelberg, 2009, pp. 353-366.
11. H.A. Reijers, T. Slaats, C. Stahl, Declarative modeling-an academic dream or the future for BPM? in: Daniel et al. [76], 11th International Conference on Business Process Management, pp. 307-322, doi:10.1007/978-3-642-40176-3-26.
12. A. Pnueli, The temporal logic of programs, in: 18th Annual Symposium on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), IEEE, 1977, pp. 46-57.
13. E.M. Clarke, O. Grumberg, and D. Peled Model Checking 2001 MIT Press
14. G. De Giacomo, M.Y. Vardi, Linear temporal logic and linear dynamic logic on finite traces, in: F. Rossi (Ed.), IJCAI, IJCAI/AAAI, 2013, pp. 854-860, URL (http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997).
15. G. De Giacomo, R. De Masellis, M. Montali, Reasoning on LTL on finite traces: insensitivity to infiniteness, in: C.E. Brodley, P. Stone (Eds.), Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, AAAI Press Québec City, Québec, Canada, July 27-31, 2014, pp. 1027-1033, (http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575).
16. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang Symbolic model checking: 20 states and beyond Inf. Comput. 98 2 1992 142 170 10.1016/0890-5401(92)90017-A
17. D. Gries Monotonicity in calculational proofs E. Olderog, B. Steffen, Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), Lecture Notes in Computer Science vol. 1710 1999 Springer Berlin,Heidelberg 79 85 10.1007/3-540-48092-7-4
18. A. Burattin, F.M. Maggi, W.M.P. van der Aalst, A. Sperduti, Techniques for a posteriori analysis of declarative processes, in: C. Chi, D. Gasevic, W. van den Heuvel (Eds.), 16th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2012, Beijing, China, IEEE, September 10-14, 2012, pp. 41-50, doi:10.1109/EDOC.2012.15. URL (http://doi.ieeecomputersociety.org/10.1109/EDOC.2012.15).
19. C. Di Ciccio, M. Mecella, and J. Mendling The effect of noise on mined declarative constraints P. Ceravolo, R. Accorsi, P. Cudre-Mauroux, Data-Driven Process Discovery and Analysis, Lecture Notes in Business Information Processing 2015 Springer Berlin, Heidelberg 1 24 10.1007/978-3-662-46436-6-1
20. R. Agrawal, and R. Srikant Fast algorithms for mining association rules in large databases J.B. Bocca, M. Jarke, C. Zaniolo, VLDB 1994 Morgan Kaufmann 487 499 URL (http://www.vldb.org/conf/1994/P487.PDF)
21. C. di Ciccio, and M. Mecella On the discovery of declarative control flows for artful processes ACM Trans. Manag. Inf. Syst. 5 4 2015 24:1 24:37 10.1145/2629447
22. D.M.M. Schunselaar, F.M. Maggi, and N. Sidorova Patterns for a log-based strengthening of declarative compliance models J. Derrick, S. Gnesi, D. Latella, H. Treharne, IFM, Lecture Notes in Computer Science vol. 7321 2012 Springer Berlin, Heidelberg 327 342 10.1007/978-3-642-30729-4-23
23. B.A. Hausmann, and O. Ore Theory of quasi-groups Am. J. Math. 59 4 1937 983 1004 (http://www.jstor.org/stable/2371362)
24. G. Birkhoff, Lattice theory, in: Colloquium Publications, 3rd edition, vol. 25, American Mathematical Society, 1967.
25. H. Mitsch A natural partial order for semigroups Proc. Am. Math. Soc. 97 3 1986 384 388 (http://www.jstor.org/stable/2046222)
26. J. Mendling, M. Strembeck, and J. Recker Factors of process model comprehension - findings from a series of experiments Decis. Support Syst. 53 1 2012 195 206
27. W.M.P. van der Aalst, M. Pesic, and H. Schonenberg Declarative workflows: balancing between flexibility and support Comput. Sci. - R&D 23 2 2009 99 113 10.1007/s00450-009-0057-9
28. F.M. Maggi, R.P.J.C. Bose, and W.M.P. van der Aalst A knowledge-based integrated approach for discovering and repairing declare maps C. Salinesi, M.C. Norrie, O. Pastor, CAiSE, Lecture Notes in Computer Science vol. 7908 2013 Springer Berlin, Heidelberg 433 448 10.1007/978-3-642-38709-8-28
29. B.F. van Dongen Real-life event logs - a loan application process Second International Business Process Intelligence Challenge (BPIC12) 2012 10.4121/uuid:3926db30-f712-4394-aebc-75976070e91f
30. A.D. Bautista, L. Wangikar, S.M.K. Akbar, Process mining-driven optimization of a consumer loan approvals process - the BPIC 2012 challenge case study, in: Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012 (Revised Papers, 2012, pp. 219-220).
31. W.M.P. van der Aalst Process Mining: Discovery, Conformance and Enhancement of Business Processes 2011 Springer Berlin, Heidelberg 10.1007/978-3-642-19345-3
32. W.M.P. van der Aalst, B.F. van Dongen, C.W. Günther, A. Rozinat, E. Verbeek, T. Weijters, ProM: the process mining toolkit, in: A.K.A. de Medeiros, B. Weber (Eds.), BPM (Demos), CEUR Workshop Proceedings, CEUR-WS.org, vol. 489, 2009, URL (http://ceur-ws.org/Vol-489/paper3.pdf).
33. R. Agrawal, D. Gunopulos, and F. Leymann Mining process models from workflow logs H.-J. Schek, G. Alonso, F. Saltor, I. Ramos, Advances in Database Technology - EDBT98, Lecture Notes in Computer Science vol. 1377 1998 Springer Berlin/Heidelberg 467 483 10.1007/BFb0101003
34. W.M.P. van der Aalst, T. Weijters, and L. Maruster Workflow mining: discovering process models from event logs IEEE Trans. Knowl. Data Eng. 16 9 2004 1128 1142 (http://csdl.computer.org/comp/trans/tk/2004/09/k1143abs.htm)
35. L. Wen, W.M.P. van der Aalst, J. Wang, and J. Sun Mining process models with non-free-choice constructs Data Min. Knowl. Discov. 15 2 2007 145 180 URL http:dx.doi.org/10.1007/s10618-007-0065-y
36. A.J.M.M. Weijters, and W.M.P. van der Aalst Rediscovering workflow models from event-based data using little thumb Integr. Comput.-Aided Eng. 10 2 2003 151 162 URL (http://iospress.metapress.com/content/8puq22eumrva7vyp/)
37. A.K.A. de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst Genetic process mining: an experimental evaluation Data Min. Knowl. Discov. 14 2 2007 245 304 10.1007/s10618-006-0061-7
38. W.M.P. van der Aalst, V. Rubin, E. Verbeek, B.F. van Dongen, E. Kindler, and C.W. Günther Process mining: a two-step approach to balance between underfitting and overfitting Softw. Syst. Model. 9 2010 87 111 10.1007/s10270-008-0106-z
39. J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev Deriving petri nets from finite transition systems IEEE Trans. Comput. 47 8 1998 859 882 10.1109/12.707587
40. J. Desel, and W. Reisig The synthesis problem of petri nets Acta Inf. 33 1996 297 315 10.1007/s002360050046
41. D. Fahland, and W.M.P. van der Aalst Repairing process models to reflect reality A.P. Barros, A. Gal, E. Kindler, BPM, Lecture Notes in Computer Science vol. 7481 2012 Springer Berlin, Heidelberg 229 245 10.1007/978-3-642-32885-5-19
42. D. Fahland, and W.M.P. van der Aalst Model repair - aligning process models to reality Inf. Syst. 47 2015 220 243 10.1016/j.is.2013.12.007
43. F.M. Maggi, D. Corapi, A. Russo, E. Lupu, G. Visaggio, Revising process models through inductive learning, in: Business Process Management Workshops - BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010 (Revised Selected Papers, 2010, pp. 182-193).
44. C. Di Ciccio, A. Marrella, and A. Russo Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches J. Data Semant. 4 1 2015 29 57 10.1007/s13740-014-0038-4
45. M. Pesic, H. Schonenberg, W.M.P. van der Aalst, Declare: full support for loosely-structured processes, in: EDOC, IEEE Computer Society, 2007, pp. 287-300, URL (http://doi.ieeecomputersociety.org/10.1109/EDOC.2007.25).
46. F. Chesani, P. Mello, M. Montali, P. Torroni, Verification of choreographies during execution using the reactive event calculus, in: WS-FM, 2008, pp. 55-72.
47. T.T. Hildebrandt, R.R. Mukkamala, T. Slaats, Designing a cross-organizational case management system using dynamic condition response graphs, in: Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2011, Helsinki, Finland, August 29-September 2, 2011, pp. 161-170.
48. T.T. Hildebrandt, R.R. Mukkamala, T. Slaats, and F. Zanitti Contracts for cross-organizational workflows as timed dynamic condition response graphs J. Log. Algebr. Program. 82 5-7 2013 164 185
49. T.T. Hildebrandt, R.R. Mukkamala, Declarative event-based workflow as distributed dynamic condition response graphs, in: K. Honda, A. Mycroft (Eds.), PLACES, EPTCS, vol. 69, 2010, pp. 59-73, URl (http://dx.doi.org/10.4204/EPTCS.69.5).
50. G. Greco, A. Guzzo, and D. Saccà Simulations on workflow management systems: a framework based on event choice datalog Intell. Artif. 5 2 2011 189 206 10.3233/IA-2011-0022
51. C. Haisjackl, I. Barba, S. Zugal, P. Soffer, I. Hadar, M. Reichert, J. Pinggera, and B. Weber Understanding declare models: strategies, pitfalls, empirical results Softw. Syst. Model. 2014 1 28 10.1007/s10270-014-0435-z
52. F.M. Maggi, T. Slaats, H.A. Reijers, The automated discovery of hybrid processes, in: S.W. Sadiq, P. Soffer, H. Völzer (Eds.), 12th International Conference Business Process Management, BPM 2014, Haifa, Israel, September 7-11, 2014. Lecture Notes in Computer Science, vol. 8659, Springer International Publishing, Switzerland, 2014, pp. 392-399. doi:10.1007/978-3-319-10172-9-27.
53. N.C. Silva, C.A.L. de Oliveira, F.A.L.A. Albino, R.M.F. Lima, Declarative versus imperative business process languages - a controlled experiment, in: S. Hammoudi, L.A. Maciaszek, J. Cordeiro (Eds.), Proceedings of the 16th International Conference on Enterprise Information Systems, ICEIS 2014, vol. 3, Lisbon, Portugal, 27-30 April, 2014, SciTePress, 2014, pp. 394-401, doi:10.5220/0004896203940401.
54. P. Pichler, B. Weber, S. Zugal, J. Pinggera, J. Mendling, H.A. Reijers, Imperative versus declarative process modeling languages: an empirical investigation, in: International Workshops on Business Process Management Workshops, BPM 2011, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, 2011, pp. 383-394.
55. C. Haisjackl, S. Zugal, P. Soffer, I. Hadar, M. Reichert, J. Pinggera, B. Weber, Making sense of declarative process models: common strategies and typical pitfalls, in: 14th International Conference on Enterprise, Business-Process and Information Systems Modeling, BPMDS 2013, 18th International Conference on EMMSAD, CAiSE 2013, Valencia, Spain, June 17-18, 2013, pp. 2-17.
56. O. Kupferman, and M.Y. Vardi Vacuity detection in temporal model checking Softw. Tools Technol. Transf. 4 2 2003 224 233 10.1007/s100090100062
57. R.P.J.C. Bose, F.M. Maggi, W.M.P. van der Aalst, Enhancing declare maps based on event correlations, in: 11th International Conference on Business Process Management, BPM 2013, Beijing, China, August 26-30, 2013, pp. 97-112.
58. F.M. Maggi, Declarative process mining with the declare component of ProM, in: M.-C. Fauvet, B.F. van Dongen (Eds.), BPM (Demos), CEUR Workshop Proceedings, CEUR-WS.org, vol. 1021, 2013, URL (http://ceur-ws.org/Vol-1021/paper-8.pdf).
59. E. Lamma, P. Mello, M. Montali, F. Riguzzi, and S. Storari Inducing declarative logic-based models from labeled traces G. Alonso, P. Dadam, M. Rosemann, BPM, Lecture Notes in Computer Science vol. 4714 2007 Springer Berlin, Heidelberg 344 359 10.1007/978-3-540-75183-0-25
60. E. Lamma, P. Mello, F. Riguzzi, and S. Storari Applying inductive logic programming to process mining H. Blockeel, J. Ramon, J.W. Shavlik, P. Tadepalli, ILP, Lecture Notes in Computer Science 2007 Springer Berlin, Heidelberg 132 146 10.1007/978-3-540-78469-2-16
61. F. Chesani, E. Lamma, P. Mello, M. Montali, F. Riguzzi, and S. Storari Exploiting inductive logic programming techniques for declarative process mining T. Petri Nets Other Models Concurr. 2 2009 278 295 10.1007/978-3-642-00899-3-16
62. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni Verifiable agent interaction in abductive logic programming: the SCIFF framework ACM Trans. Comput. Log. 9 4 2008 29:1 29:43 10.1145/1380572.1380578
63. E. Bellodi, F. Riguzzi, E. Lamma, Probabilistic logic-based process mining, in: W. Faber, N. Leone (Eds.), CILC, CEUR Workshop Proceedings, vol. 598, CEUR-WS.org, 2010, URL (http://ceur-ws.org/Vol-598/paper17.pdf).
64. E. Bellodi, F. Riguzzi, and E. Lamma Probabilistic declarative process mining Y. Bi, M.-A. Williams, KSEM, Lecture Notes in Computer Science vol. 6291 2010 Springer Berlin, Heidelberg 292 303 10.1007/978-3-642-15280-1-28
65. M. Richardson, and P. Domingos Markov logic networks Mach. Learn. 62 12 2006 107 136 10.1007/s10994-006-5833-1
66. C. di Ciccio, and M. Mecella Mining artful processes from knowledge workers emails IEEE Internet Comput. 17 5 2013 10 20 10.1109/MIC.2013.60
67. M. Räim, C. Di Ciccio, F.M. Maggi, M. Mecella, J. Mendling, Log-based understanding of business processes through temporal logic query checking, in: R. Meersman, H. Panetto, T.S. Dillon, M. Missikoff, L. Liu, O. Pastor, A. Cuzzocrea, T. Sellis (Eds.), International Conference on Cooperative Information Systems, On the Move to Meaningful Internet Systems Confederated International Conferences, Lecture Notes in Computer Science, vol. 8841, Springer, Berlin, Heidelberg, 2014, pp. 75-92, URL doi:10.1007/978-3-662-45563-0-5.
68. F.M. Maggi, A. Burattin, M. Cimitile, A. Sperduti, Online process discovery to detect concept drifts in ltl-based declarative process models, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 94-111.
69. M. Westergaard, F.M. Maggi, Looking into the future, using timed automata to provide a priori advice about timed declarative process models, in: R. Meersman, H. Panetto, T.S. Dillon, S. Rinderle-Ma, P. Dadam, X. Zhou, S. Pearson, A. Ferscha, S. Bergamaschi, I.F. Cruz (Eds.), On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Part I, Lecture Notes in Computer Science, vol. 7565, Springer, Berlin, Heidelberg, 2012, pp. 250-267, URL http://dx.doi.org/10.1007/978-3-642-33606-5-16).
70. F.M. Maggi, Discovering metric temporal business constraints from event logs, in: Proceedings of the 13th International Conference on Perspectives in Business Informatics Research, BIR 2014, Lund, Sweden, September 22-24, 2014, pp. 261-275.
71. M.L. Bernardi, M. Cimitile, C.D. Francescomarino, F. M. Maggi, Using discriminative rule mining to discover declarative process models with non-atomic activities, in: 8th International Symposium on Rules on the Web. From Theory to Applications, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, pp. 281-295.
72. M. Montali, F.M. Maggi, F. Chesani, P. Mello, and W.M.P. van der Aalst Monitoring business constraints with the event calculus ACM TIST 5 1 2013 17
73. M. Montali, F. Chesani, F.M. Maggi, P. Mello, Towards data-aware constraints in declare, in: SAC, ACM Press and Addison Wesley, 2013, pp. 1391-1396.
74. R.D. Masellis, F.M. Maggi, M. Montali, Monitoring data-aware business constraints with finite state automata, in: International Conference on Software and Systems Process 2014, ICSSP 14, Nanjing, China, May 26-28, 2014, pp. 134-143.
75. A. Burattin, F.M. Maggi, A. Sperduti, Conformance Checking Based on Multi-perspective Declarative Process Models, CoRR abs/1503.04957.
76. F. Daniel, J. Wang, B. Weber (Eds.), 11th International Conference on Business Process Management, BPM 2013, Beijing, China, August 26-30, 2013. Lecture Notes in Computer Science, vol. 8094, Springer, Berlin, Heidelberg, 2013, doi:10.1007/978-3-642-40176-3.