Process discovery under precedence constraints

ACM Transactions on Knowledge Discovery from Data

Volumn 9, Issue 4, 2015, Pages 1-39

  Greco, Gianluigi ^a   Guzzo, Antonella ^a   Lupia, Francesco ^a   Pontieri, Luigi ^b  

^a UNIVERSITY OF CALABRIA   (Italy)

^b ICAR CNR   (Italy)

Author keywords

Computational complexity; Graph analysis; Process mining

Indexed keywords

COMPUTATIONAL COMPLEXITY;

BACK-GROUND KNOWLEDGE; EXPERIMENTAL ACTIVITIES; GRAPH ANALYSIS; PRECEDENCE CONSTRAINTS; PROCESS MINING; REASONING PROBLEMS; SOLUTION ALGORITHMS; TRANSACTIONAL SYSTEMS;

DATA MINING;

EID: 84930791285     PISSN: 15564681     EISSN: 1556472X     Source Type: Journal    
DOI: 10.1145/2710020     Document Type: Article

References (65)

1. th International Enterprise Distributed Object Computing Conference (EDOC'11). 55-64.
2. th International Conference on Extending Database Technology: Advances in Database Technology (EDBT'98). 469-483.
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 Transactions on Computational Logic 9, 4 (2008), 29:1-29:43.
4. th International ICST Conference on Performance Evaluation Methodologies and Tools (ValueTools'11). 91-100.
5. Paul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, and Marek Rusinkiewicz. 1996. Scheduling workflows by enforcing intertask dependencies. Distributed Systems Engineering 3, (1996), 222-238.
6. th International Conference on Knowledge Science, Engineering and Management (KSEM'10). 292-303.
7. th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'99). 294-305.
8. Andrea Burattin and Alessandro Sperduti. 2011. PLG: A framework for the generation of business process models and their execution logs. In BPM Workshops. 214-219.
9. th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL'03). 887-892.
10. Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. 2009. Exploiting inductive logic programming techniques for declarative process mining. Transactions on Petri Nets and Other Models of Concurrency 2 (2009), 278-295.
11. Sandra de Amo and Daniel A. Furtado. 2007. First-order temporal pattern mining with regular expression constraints. Data & Knowledge Engineering 62, 3 (2007), 401-420.
12. Ana Karla Alves de Medeiros, Boudewijn F. van Dongen, Wil M. P. van der Aalst, and A. J. M. M. Weijters. 2004. Process Mining: Extending the α-Algorithm to Mine Short Loops. Technical Report. University of Technology, Eindhoven.
13. Ana Karla Alves de Medeiros, A. J. M. M. Weijters, and Wil M. P. van der Aalst. 2007. Genetic process mining: An experimental evaluation. Data Mining and Knowledge Discovery 14 (2007), 245-304.
14. th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'08). 204-212.
15. Jochen De Weerdt, Manu De Backer, Jan Vanthienen, and Bart Baesens. 2011. A robust F-measure for evaluating discovered process models. In Proceedings of the 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM'11). 148-155.
16. Jochen De Weerdt, Manu De Backer, Jan Vanthienen, and Bart Baesens. 2012. A multi-dimensional quality assessment of state-of-the-art process discovery algorithms using real-life event logs. Information Systems 37, 7 (2012), 654-676.
17. Rina Dechter. 1992. Constraint networks. Encyclopedia of Artificial Intelligence (1992), 276-285.
18. th International Conference on Business Information Systems (BIS'12). 11-23.
19. Paul Dourish, Jim Holmes, Allan MacLean, Pernille Marqvardsen, and Alex Zbyslaw. 1996. Freeflow: Mediating between representation and action in workflow systems. In Proceedings of the 1996 ACM Conference on Computer Supported Cooperative Work (CSCW'96). 190-198.
20. Hugo M. Ferreira and Diogo R. Ferreira. 2006. An integrated life cCycle for workflow management based on learning and planning. International Journal on Cooperative Information Systems 15, 4 (2006), 485-505.
21. Stijn Goedertier, David Martens, Jan Vanthienen, and Bart Baesens. 2009. Robust process discovery with artificial negative events. Journal of Machine Learning Research 10 (2009), 1305-1340.
22. Gianluigi Greco, Antonella Guzzo, and Luigi Pontieri. 2007. An information-theoretic framework for process structure and data mining. International Journal of Data Warehousing and Mining 3, 4 (2007), 99-119.
23. th European Conference on Artificial Intelligence (ECAI'12). 366-371.
24. Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, and Domenico Saccà. 2006. Discovering expressive process models by clustering log traces. IEEE Transactions on Knowledge and Data Engineering 18, 8 (2006), 1010-1027.
25. Tias Guns, Siegfried Nijssen, and Luc De Raedt. 2011. Itemset mining: A constraint programming perspective. Artificial Intelligence 175 (2011), 1951-1983.
26. Markus Hammoria, Joachim Herbsta, and Niko Kleinerb. 2006. Interactive workflow mining - Requirements, concepts and implementation. Data & Knowledge Engineering 56, 1 (2006), 41-63.
27. Joachim Herbst and Dimitris Karagiannis. 2000. Integrating machine learning and workflow management to support acquisition and adaptation of workflow models. Journal of Intelligent Systems in Accounting, Finance and Management 9 (2000), 67-92.
28. Joachim Herbst and Dimitris Karagiannis. 2003. Workflow mining with InWoLvE. Computers in Industry. Special Issue: Process/Workflow Mining 53, 3 (2003), 245-264.
29. Haiyang Hu, Jianen Xie, and Hua Hu. 2011. A novel approach for mining stochastic process model from workflow logs. Journal of Computational Information Systems 7, 9 (2011), 3113-3126.
30. th International Conference on Advanced Information Systems Engineering (AOIS'00+CAiSE'00). 41-62.
31. th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'11). 1010-1018.
32. th Australasian Database Conference (ADC'06). 157-166.
33. th International Conference on Advanced Information Systems Engineering (CAiSE'12). 270-285.
34. th International Conference on Business Process Management (BPM'13). 81-96.
35. Fabrizio Maria Maggi, Arjan J. Mooij, and Wil M. P. van der Aalst. 2011. User-guided discovery of declarative process models. In Proceedings of the 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM'11). 192-199.
36. th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'09). 647-656.
37. th International SPIN Conference on Model Checking Software (SPIN'10). 146-161.
38. Maja Pesic, Helen Schonenberg, and Wil M. P. van der Aalst. 2009. DECLARE demo: A constraint-based workflow management system. In Proceedings of the Business Process Management Demonstration Track (BPM'09) (Demos).
39. Maja Pesic, M. H. Schonenberg, Natalia Sidorova, and Wil M. P. van der Aalst. 2007. Constraint-Based Workflow Models: Change Made Easy. In Proceedings of the 2007 OTM Confederated International Conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I (OTM'07). 77-94.
40. Manfred Reichert, Stefanie Rinderle-Ma, and Peter Dadam. 2009. Transactions on Petri Nets and Other Models of Concurrency II. Springer-Verlag, Berlin, 115-135.
41. Anna Rozinat and Wil M. P. van der Aalst. 2008. Conformance checking of processes based on monitoring real behavior. Information Systems 33, 1 (2008), 64-95.
42. Shazia Wasim Sadiq, Maria E. Orlowska, and Wasim Sadiq. 2005. Specification and validation of process constraints for flexible workflows. Information Systems 30, 5 (2005), 349-378.
43. th Annual ACM Symposium on Theory of Computing (STOC'78). 216-226.
44. st International Conference on Business Process Management (BPM'03). 25-40.
45. th International Conference on Very Large Data Bases (VLDB'02). 694-702.
46. Seppe K. L. M. van den Broucke, Jochen De Weerdt, Jan Vanthienen, and Bart Baesens. 2013. A comprehensive benchmarking framework (CoBeFra) for conformance analysis between procedural process models and event logs in ProM. In Proceedings of 2013 IEEE Symposium on Computational Intelligence and Data Mining (CIDM'13). 254-261.
47. Wil M. P. van der Aalst. 1998. The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8, 1 (1998), 21-66.
48. st ed.). Springer Publishing Company, Incorporated.
49. rd International Conference on Applications and Theory of Petri Nets (ICATPN'12). 72-91.
50. Wil M. P. van der Aalst, Arya Adriansyah, and Boudewijn F. van Dongen. 2012. Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rew.: Data Mining and Knowledge Discovery 2, 2 (2012), 182-192.
51. nd International Conference on Concurrency Theory (CONCUR'11). 28-42.
52. Wil M. P. van der Aalst, Jörg Desel, and Ekkart Kindler. 2002. On the semantics of EPCs: A vicious circle. In Proceedings of EPK'02. 71-80.
53. Wil M. P. van der Aalst, Maja Pesic, and Helen Schonenberg. 2009. Declarative workflows: Balancing between flexibility and support. Computer Science - R&D 23, 2 (2009), 99-113.
54. Wil M. P. van der Aalst, Boudewijn F. van Dongen, Joachim Herbst, Laura Maruster, Guido Schimm, and A. J. M. M. Weijters. 2003. Workflow mining: A survey of issues and approaches. Data & Knowledge Engineering 47, 2 (2003), 237-267.
55. Wil M. P. van der Aalst and Kees M. van Hee. 2002. Workflow Management: Models, Methods, and Systems. MIT Press.
56. Wil M. P. van der Aalst, A. J. M. M. Weijters, and Laura Maruster. 2004. Workflow mining: Discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering 16, 9 (2004), 1128-1142.
57. Jan Martijn van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, and Alexander Serebrenik. 2009. Process discovery using integer linear programming. Fundamenta Informaticae 94, 3-4 (2009), 387-412.
58. th International Conference on Applications and Theory of Petri Nets (ATPN'05), 1105-1116.
59. th International Workshop on Groupware: Design, Implementation, and Use (CRIWG'03), 151-158.
60. A. J. M. M. Weijters and Wil M. P. van der Aalst. 2001. Process mining: Discovering workflow models from event-based data. In Proceedings of the Belgian/Netherlands Artificial Intelligence Conference (BNAIC'01). 283-290.
61. A. J. M. M. Weijters, Wil M. P. van der Aalst, and Ana Karla Alves de Medeiros. 2006. Process Mining with the HeuristicsMiner Algorithm. Technical Report. Eindhoven University of Technology, Eindhoven.
62. A. J. M. M. Weijters and Wil M. P. van der Aalst. 2003. Rediscovering workflow models from event-based data using Little Thumb. Integrated Computer-Aided Engineering 10, 2 (2003), 151-162.
63. Lijie Wen, Jianmin Wang, Wil M. P. van der Aalst, Biqing Huang, and Jiaguang Sun. 2009. A novel approach for process mining based on event types. Journal on Intelligent Information Systems 32, 2 (2009), 163-190.
64. Lijie Wen, Jianmin Wang, Wil M. P. van der Aalst, Biqing Huang, and Jiaguang Sun. 2010. A novel approach for process mining based on event types. Data & Knowledge Engineering 69, 10 (2010), 999-1021.
65. Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, and Colin J. Fidge. 2009. Workflow Support for Product Recall Coordination. Technical Report. BPMcenter.org.