Do activity lifecycles affect the validity of a business rule in a business process?

Information Systems

Volumn 62, Issue , 2016, Pages 42-59

  Bernardi, Mario Luca ^a,b,c,d   Cimitile, Marta ^a,b,c,d   Di Francescomarino, Chiara ^a,b,c,d   Maggi, Fabrizio Maria ^a,b,c,d  

^a UNIVERSITY OF SANNIO   (Italy)

^b UNITELMA SAPIENZA UNIVERSITY OF ROME   (Italy)

^c ITC IRST   (Italy)

^d UNIVERSITY OF TARTU   (Estonia)

Author keywords

Activity lifecycle; Discriminative mining; Linear temporal logic; Non atomic activities; Process discovery; Rule mining

Indexed keywords

ATOMS; DATA MINING; LIFE CYCLE;

ATOMIC ACTIVITIES; DECLARATIVE PROCESS MODELS; DYNAMIC ENVIRONMENTS; LINEAR TEMPORAL LOGIC; PROCESS ACTIVITIES; PROCESS DISCOVERY; REALISTIC ENVIRONMENTS; RULE MINING;

MANAGEMENT SCIENCE;

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

References (58)

1. [1] van der Aalst, W., Process Mining: Discovery, Conformance and Enhancement of Business Processes. 2011, Springer, New York, USA.
2. [2] Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S., Exploiting inductive logic programming techniques for declarative process mining. Trans. Petri Nets Other Models Concurr. (ToPNoC), Special Issue Concurr. Process-Aware Inf. Syst. 5460 (2009), 278–295.
3. [3] F.M. Maggi, A.J. Mooij, W.M.P. van der Aalst, User-guided discovery of declarative process models, in: CIDM, Paris, France, IEEE, New York, 2011, pp. 192–199. URL 〈 http://dx.doi.org/10.1109/CIDM.2011.5949297〉.
4. [4] F.M. Maggi, R.P.J.C. Bose, W.M.P. van der Aalst, Efficient discovery of understandable declarative process models from event logs, in: J. Ralyté, X. Franch, S. Brinkkemper, S. Wrycza (Eds.), CAiSE, Lecture Notes in Computer Science, Gdańsk, Poland, vol. 7328, Springer, New York, 2012, pp. 270–285, URL 〈 http://dx.doi.org/10.1007/978-3-642-31095-9_18〉.
5. [5] F.M. Maggi, R.P.J.C. Bose, W.M.P. van der Aalst, A knowledge-based integrated approach for discovering and repairing declare maps, in: C. Salinesi, M.C. Norrie, O. Pastor (Eds.), CAiSE, Lecture Notes in Computer Science, Valencia, Spain, vol. 7908, Springer, New York, 2013, pp. 433–448, URL 〈 http://dx.doi.org/10.1007/978-3-642-38709-8_28〉.
6. [6] 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, vol. 1021, CEUR-WS.org, 2013. URL 〈 http://ceur-ws.org/Vol-1021/paper_8.pdf〉.
7. [7] E. Lamma, P. Mello, M. Montali, F. Riguzzi, S. Storari, Inducing declarative logic-based models from labeled traces, in: G. Alonso, P. Dadam, M. Rosemann (Eds.), BPM, Lecture Notes in Computer Science, Brisbane, Australia, vol. 4714 Springer, New York, 2007, pp. 344–359. URL 〈 http://dx.doi.org/10.1007/978-3-540-75183-0_25〉.
8. [8] E. Lamma, P. Mello, F. Riguzzi, S. Storari, Applying inductive logic programming to process mining, in: H. Blockeel, J. Ramon, J.W. Shavlik, P. Tadepalli (Eds.), ILP, Lecture Notes in Computer Science, Corvallis, OR, USA, vol. 4894, Springer, New York, 2007, pp. 132–146, URL 〈 http://dx.doi.org/10.1007/978-3-540-78469-2_16〉.
9. [9] E. Bellodi, F. Riguzzi, E. Lamma, Probabilistic logic-based process mining, in: W. Faber, N. Leone (Eds.), CILC, CEUR Workshop Proceedings, Springer, Berlin, Heidelberg, vol. 598, CEUR-WS.org, Raleigh, North Carolina, USA, 2010, URL 〈 http://ceur-ws.org/Vol-598/paper17.pdf〉.
10. [10] E. Bellodi, F. Riguzzi, E. Lamma, Probabilistic declarative process mining, in: Y. Bi, M.-A. Williams (Eds.), KSEM, Lecture Notes in Computer Science, vol. 6291, Springer, 2010, pp. 292–303, URL 〈 http://dx.doi.org/10.1007/978-3-642-15280-1_28〉.
11. [11] C. Di Ciccio, M. Mecella, A two-step fast algorithm for the automated discovery of declarative workflows, in: 4th IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2013, Singapore, April 16–19, 2013, IEEE, New York, 2013, pp. 135–142, URL 〈 http://dx.doi.org/10.1109/CIDM.2013.6597228〉.
12. [12] Burattin, A., Cimitile, M., Maggi, F.M., Sperduti, A., Online discovery of declarative process models from event streams. IEEE Trans. Services Comput. 8:6 (2015), 833–846, 10.1109/TSC.2015.2459703 ISSN: 1939-1374.
13. [13] 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.), On the Move to Meaningful Internet Systems: OTM 2014 Conferences—Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27–31, 2014, Proceedings, Springer, Berlin, Heidelberg, 2014, pp. 75–92, URL 〈 http://dx.doi.org/10.1007/978-3-662-45563-0_5〉.
14. [14] 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. Proceedings, 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〉.
15. [15] M. Montali, F. Chesani, P. Mello, F.M. Maggi, Towards data-aware constraints in declare, in: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC ׳13, Coimbra, Portugal, March 18–22, 2013, pp. 1391–1396, URL 〈 http://dx.doi.org/10.1145/2480362.2480624〉.
16. [16] F.M. Maggi, M. Dumas, L. García-Bañuelos, M. Montali, Discovering data-aware declarative process models from event logs, in: F. Daniel, J. Wang, B. Weber (Eds.), BPM, Lecture Notes in Computer Science, vol. 8094, Springer, Berlin, Heidelberg, 2013, pp. 81–96, URL 〈 http://dx.doi.org/10.1007/978-3-642-40176-3_8〉.
17. [17] C. Di Ciccio, F.M. Maggi, J. Mendling, Discovering target-branched declare constraints, in: S.W. Sadiq, P. Soffer, H. Völzer (Eds.), Business Process Management—12th International Conference, BPM 2014, Haifa, Israel, September 7–11, 2014, Lecture Notes in Computer Science, vol. 8659, Springer, Berlin, Heidelberg, 2014, pp. 34–50, URL 〈 http://dx.doi.org/10.1007/978-3-319-10172-9_3〉.
18. [18] M.L. Bernardi, M. Cimitile, C. Di Francescomarino, F. M. Maggi, Using discriminative rule mining to discover declarative process models with non-atomic activities, in: Rules on the Web. From Theory to Applications—8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18–20, 2014, Proceedings, 2014, pp. 281–295, URL 〈 http://dx.doi.org/10.1007/978-3-319-09870-8_21〉.
19. [19] M. Pesic, H. Schonenberg, W.M.P. van der Aalst, DECLARE: full support for loosely-structured processes, in: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15–19 October 2007, Annapolis, Maryland, USA, 2007, pp. 287–300, URL 〈 http://dx.doi.org/10.1109/EDOC.2007.25〉.
20. [20] 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, September 10-14, 2012, IEEE, New York, 2012, pp. 41–50, URL 〈 http://dx.doi.org/10.1109/EDOC.2012.15〉.
21. [21] A. Burattin, A. Sperduti, Heuristics miner for time intervals, in: ESANN 2010, 18th European Symposium on Artificial Neural Networks, Bruges, Belgium, April 28–30, 2010, Proceedings, 2010, URL 〈 https://www.elen.ucl.ac.be/Proceedings/esann/esannpdf/es2010-105.pdf〉.
22. [22] R.P.J.C. Bose, F.M. Maggi, W.M.P. van der Aalst, Enhancing declare maps based on event correlations, in: Proceedings of the 11th International Conference on Business Process Management, BPM׳13, Springer-Verlag, Berlin, Heidelberg, 2013, pp. 97–112, URL 〈 http://dx.doi.org/10.1007/978-3-642-40176-3_9〉.
23. [23] M. Montali, M. Pesic, W.M.P. van der Aalst, F. Chesani, P. Mello, S. Storari, Declarative specification and verification of service choreographiess, TWEB 4 (1), URL 〈 http://dx.doi.org/10.1145/1658373.1658376〉.
24. [24] van der Aalst, W.M.P., Pesic, M., Schonenberg, H., Declarative workflows: balancing between flexibility and support. Comput. Sci.—R&D 23:2 (2009), 99–113, 10.1007/s00450-009-0057-9.
25. [25] Kupferman, O., Vardi, M.Y., Vacuity detection in temporal model checking. STTT 4:2 (2003), 224–233, 10.1007/s100090100062.
26. [26] H.M.W. Verbeek, J.C.A.M. Buijs, B.F. van Dongen, W.M.P. van der Aalst, Prom 6: The process mining toolkit, in: Proceedings of the BPM Demonstration Track 2010, vol. 615, CEUR-WS.org, 2010, pp. 34–39, URL 〈 http://ceur-ws.org/Vol-615/paper13.pdf〉.
27. [27] C.W. Günther, in: XES Standard Definition, www.xes-standard.org 2009, Link 〈 http://www.xes-standard.org/_media/xes/xes_standard_proposal.pdf〉.
28. [28] D. Lo, H. Cheng, Lucia, Mining closed discriminative dyadic sequential patterns, in: EDBT 2011, 14th International Conference on Extending Database Technology, Uppsala, Sweden, March 21–24, 2011, Proceedings, 2011, pp. 21–32, URL 〈 http://doi.acm.org/10.1145/1951365.1951371〉.
29. [29] D. Lo, H. Cheng, J. Han, S.-C. Khoo, C. Sun, Classification of software behaviors for failure detection: a discriminative pattern mining approach, in: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD ׳09, ACM, New York, NY, USA, 2009, pp. 557–566, URL 〈 http://dx.doi.org/10.1145/1557019.1557083〉.
30. [30] C. Sun, J. Du, N. Chen, S.-C. Khoo, Y. Yang, Mining explicit rules for software process evaluation, in: Proceedings of the 2013 International Conference on Software and System Process, ICSSP 2013, ACM, New York, NY, USA, 2013, pp. 118–125, URL 〈 http://doi.acm.org/10.1145/2486046.2486067〉.
31. [31] W. Li, J. Han, J. Pei, Cmar: accurate and efficient classification based on multiple class-association rules, in: Proceedings IEEE International Conference on Data Mining, 2001, ICDM 2001, 2001, pp. 369–376, URL 〈 http://dx.doi.org/10.1109/ICDM.2001.989541〉.
32. [32] B. Liu, W. Hsu, Y. Ma, Integrating classification and association rule mining, in: Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining (KDD-98), New York City, New York, USA, August 27–31, 1998, pp. 80–86, URL 〈 http://www.aaai.org/Library/KDD/1998/kdd98-012.php〉.
33. [33] Duda, R.O., Hart, P.E., Stork, D.G., Pattern Classification. 2nd ed., 2000, Wiley-Interscience, New York.
34. [34] Quinlan, J.R., C4.5: Programs for Machine Learning. 1993, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
35. [35] A.P. Barros, G. Decker, M. Dumas, F. Weber, Correlation patterns in service-oriented architectures, in: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24–April 1, 2007, Proceedings, 2007, pp. 245–259, URL 〈 http://dx.doi.org/10.1007/978-3-540-71289-3_20〉.
36. [36] R.J.C. Bose, Process mining in the large: preprocessing, discovery, and diagnostics (Ph.D. thesis), Eindhoven University of Technology, 2012.
37. [37] W. Steeman, Bpi Challenge 2013, Incidents, 2013, http://dx.doi.org/10.4121/uuid:500573e6-accc-4b0c-9576-aa5468b10cee URL 〈 http://dx.doi.org/10.4121/uuid:500573e6-accc-4b0c-9576-aa5468b10cee〉.
38. [38] B. van Dongen, W.M.P. van der Aalst, Multi-phase process mining: aggregating instance graphs into EPCs and Petri Nets, in: PNCWB 2005 Workshop, 2005, pp. 35–58, URL 〈 http://dx.doi.org/10.1.1.117.6183〉.
39. [39] R. Agrawal, D. Gunopulos, F. Leymann, Mining process models from workflow logs, in: H.-J. Schek, G. Alonso, F. Saltor, I. Ramos (Eds.), Advances in Database Technology—EDBT’98, Lecture Notes in Computer Science, vol. 1377, Springer, Berlin, Heidelberg, 1998, pp. 467–483, 10.1007/BFb0101003. URL 〈 http://dx.doi.org/10.1007/BFb0101003〉.
40. [40] van der Aalst, W.M.P., Weijters, T., Maruster, L., Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16:9 (2004), 1128–1142 URL 〈 http://csdl.computer.org/comp/trans/tk/2004/09/k1143abs.htm〉.
41. [41] Wen, L., van der Aalst, W.M.P., Wang, J., Sun, J., Mining process models with non-free-choice constructs. Data Min. Knowl. Discov. 15:2 (2007), 145–180, 10.1007/s10618-007-0065-y.
42. [42] Weijters, A.J.M.M., van der Aalst, W.M.P., 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/〉.
43. [43] de Medeiros, A.K.A., Weijters, A.J.M.M., van der Aalst, W.M.P., Genetic process mining: an experimental evaluation. Data Min. Knowl. Discov. 14:2 (2007), 245–304, 10.1007/s10618-006-0061-7.
44. [44] van der Aalst, W.M.P., Rubin, V., Verbeek, E., van Dongen, B.F., Kindler, E., Günther, C.W., 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.
45. [45] Di Ciccio, C., Marrella, A., Russo, A., Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches. J. Data Semant. 4:1 (2015), 29–57, 10.1007/s13740-014-0038-4.
46. [46] Agrawal, R., Srikant, R., Fast algorithms for mining association rules in large databases. Bocca, J.B., Jarke, M., Zaniolo, C., (eds.) VLDB, 1994, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 487–499 URL 〈 http://www.vldb.org/conf/1994/P487.PDF〉.
47. [47] Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P., Verifiable agent interaction in abductive logic programming: the Schiff framework. ACM Trans. Comput. Log., 9(4), 2008, 10.1145/1380572.1380578 29:1–29:43.
48. [48] Richardson, M., Domingos, P., Markov logic networks. Mach. Learn. 62:1–2 (2006), 107–136, 10.1007/s10994-006-5833-1.
49. [49] F.M. Maggi, Discovering metric temporal business constraints from event logs, in: Perspectives in Business Informatics Research—13th International Conference, BIR 2014, Lund, Sweden, September 22–24, 2014. Proceedings, 2014, pp. 261–275, URL 〈 http://dx.doi.org/10.1007/978-3-319-11370-8_19〉.
50. [50] Montali, M., Maggi, F.M., Chesani, F., Mello, P., van der Aalst, W.M.P., Monitoring business constraints with the event calculus. ACM TIST, 5(1), 2013, 17, 10.1145/2542182.2542199.
51. [51] 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.
52. [52] R. De 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, URL 〈 http://dx.doi.org/10.1145/2600821.2600835〉.
53. [53] A. Burattin, F.M. Maggi, A. Sperduti, Conformance Checking Based on Multi-Perspective Declarative Process Models, CoRR abs/1503.04957, URL 〈 http://arxiv.org/abs/1503.04957〉.
54. [54] A. Artikis, M. Sergot, G. Paliouras, Run-time composite event recognition, in: Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems, DEBS ׳12, ACM, New York, NY, USA, 2012, pp. 69–80, URL 〈 http://dx.doi.org/10.1145/2335484.2335492〉.
55. [55] A. Artikis, M. Weidlich, A. Gal, V. Kalogeraki, D. Gunopulos, Self-adaptive event recognition for intelligent transport management, in: IEEE International Conference on Big Data, 2013, 2013, pp. 319–325, http://dx.doi.org/10.1109/BigData.2013.6691590.
56. [56] Jennrich, R.I., Sampson, P.F., Newton–Raphson and related algorithms for maximum likelihood variance component estimation. Technometrics 18:1 (1976), 11–17 URL 〈 http://www.jstor.org/stable/1267911〉.
57. [57] Mario Luca Bernardi, Marta Cimitile, Fabrizio Maria Magg, Discovering cross-organizational business rules from the cloud, in: 2014 IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2014, Orlando, FL, USA, 9-12 December 2014, IEEE, New York, 2014, pp. 389–396, 〈 http://dx.doi.org/10.1109/CIDM.2014.7008694.〉.
58. [58] Claudio Di Ciccio, Mario Luca Bernardi, Marta Cimitile, Fabrizio Maria Maggi, Generating event logs through the simulation of declare models, Enterprise and Organizational Modeling and Simulation - 11th International Workshop, EOMAS 2015, Stockholm, Sweden, 8-9 June 2015, Springer, Berlin, pp. 20–36.