Using discriminative rule mining to discover declarative process models with non-atomic activities

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8620 LNCS, Issue , 2014, Pages 281-295

  Bernardi, Mario Luca ^a   Cimitile, Marta ^b   Di Francescomarino, Chiara ^c   Maggi, Fabrizio Maria ^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

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; TEMPORAL LOGIC;

CONSTRAINT VIOLATION; DECLARATIVE PROCESS MODELS; LINEAR TEMPORAL LOGIC; NON-ATOMIC ACTIVITIES; PROCESS ACTIVITIES; PROCESS DISCOVERY; REALISTIC ENVIRONMENTS; RULE MINING;

LIFE CYCLE;

EID: 84905252959     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-09870-8_21     Document Type: Conference Paper

References (19)

1. Van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative Workflows: Balancing Between Flexibility and Support. Computer Science - R&D, 99-113 (2009)
2. Bernardi, M.L., Cimitile, M., Lucca, G.A.D., Maggi, F.M.: Using declarative workflow languages to develop process-centric web applications. In: 16th IEEE International Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops, Beijing, China, September 10-14, pp. 56-65 (2012)
3. Bose, R.P.J.C., Maggi, F.M., van der Aalst, W.M.P.: Enhancing declare maps based on event correlations. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 97-112. Springer, Heidelberg (2013), http://dx.doi.org/10.1007/978-3-642-40176-3-9
4. Bose, R.J.C.: Process Mining in the Large: Preprocessing, Discovery, and Diagnostics. Ph.D. thesis, Eindhoven University of Technology (2012)
5. Burattin, A., Maggi, F., van der Aalst, W., Sperduti, A.: Techniques for a Posteriori Analysis of Declarative Processes. In: EDOC, pp. 41-50 (2012)
6. Burattin, A., Sperduti, A.: Heuristics Miner for Time Intervals. In: European Symposium on Artificial Neural Networks (ESANN), Bruges, Belgium (2010)
7. Caruana, R., Niculescu-Mizil, A.: An empirical comparison of supervised learning algorithms. In: Proceedings of the 23rd International Conference on Machine Learning, ICML 2006, pp. 161-168. ACM, New York (2006), http://doi.acm.org/10.1145/1143844.1143865
8. Cheng, H., Yan, X., Han, J., Yu, P.S.: Direct discriminative pattern mining for effective classification. In: Proceedings of the 2008 IEEE 24th International Conference on Data Engineering, ICDE 2008, pp. 169-178. IEEE Computer Society, Washington, DC (2008), http://dx.doi.org/10.1109/ICDE.2008. 4497425
9. Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting inductive logic programming techniques for declarative process mining. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems 2, 278-295 (2009)
10. Günther, C.W.: XES Standard Definition (2009), www.xes-standard.org, http://www.xes-standard.org/-media/xes/xes-standard-proposal.pdf
11. Kupferman, O., Vardi, M.: Vacuity Detection in Temporal Model Checking. Int. Journal on Software Tools for Technology Transfer, 224-233 (2003)
12. Lo, D., Cheng, H.: Lucia: Mining closed discriminative dyadic sequential patterns. In: Proc. of the International Conference on Extending Database Technology (EDBT), pp. 21-32. Springer (2011)
13. Maggi, F.M., Bose, R.P.J.C., van der Aalst, W.M.P.: Efficient discovery of understandable declarative models from event logs. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 270-285. Springer, Heidelberg (2012)
14. Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web 4(1) (2010)
15. Pesic, M., Schonenberg, M.H., van der Aalst, W.M.P.: Declare: Full support for loosely-structured processes. In: EDOC, pp. 287-300 (2007)
16. Quinlan, J.R.: C4.5: Programs for Machine Learning. M. Kaufmann Publishers Inc. (1993)
17. Steeman, W.: Bpi challenge 2013, incidents (2013), http://dx.doi.org/10. 4121/uuid:500573e6-accc-4b0c-9576-aa5468b10cee
18. Sun, C., Du, J., Chen, N., Khoo, S.C., Yang, Y.: Mining explicit rules for software process evaluation. In: Proceedings of the 2013 International Conference on Software and System Process, ICSSP 2013, pp. 118-125. ACM, New York (2013), http://doi.acm.org/10.1145/2486046.2486067
19. Verbeek, E.H.M.W., Buijs, J., van Dongen, B., van der Aalst, W.M.P.: ProM 6: The Process Mining Toolkit. In: BPM 2010 Demo, pp. 34-39 (2010)