Hierarchical conformance checking of process models based on event logs

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

Volumn 7927 LNCS, Issue , 2013, Pages 291-310

  Munoz Gama, Jorge ^a   Carmona, Josep ^a   Van Der Aalst, Wil M P ^b  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Conformance Checking; Process Diagnosis; Process Mining

Indexed keywords

COMPLEX OPTIMIZATION PROBLEMS; CONFORMANCE CHECKING; EXPERIMENTAL EVALUATION; HARD PROBLEMS; PROCESS DIAGNOSIS; PROCESS MINING; PROCESS MODEL; STATE-OF-THE-ART ALGORITHMS;

DATA MINING; PETRI NETS;

PROBLEM SOLVING;

EID: 84879641322     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38697-8_16     Document Type: Conference Paper

References (18)

1. van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (May 2011)
2. Rogers, S.: Big data is scaling BI and analytics-data growth is about to accelerate exponentially. Information and Management - Brookfield 21(5), 14 (2011)
3. Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64-95 (2008)
4. Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking using cost-based fitness analysis. In: EDOC, pp. 55-64. IEEE Computer Society (2011)
5. Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Alignment based precision checking. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 137-149. Springer, Heidelberg (2013)
6. Munoz-Gama, J., Carmona, J.: A General Framework for Precision Checking. International Journal of Innovative Computing, Information and Control (IJICIC) 8(7B), 5317-5339 (2012)
7. Polyvyanyy, A., Vanhatalo, J., Völzer, H.: Simplified computation and generalization of the refined process structure tree. In: Bravetti, M., Bultan, T. (eds.) WS-FM 2010. LNCS, vol. 6551, pp. 25-41. Springer, Heidelberg (2011)
8. van der Aalst, W.M.P.: Decomposing process mining problems using passages. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 72-91. Springer, Heidelberg (2012)
9. van der Aalst, W.M.P.: Decomposing Petri nets for process mining: A generic approach. Technical Report BPM-12-20, BPM Center (September 2012)
10. Polyvyanyy, A.: Structuring process models. PhD thesis, University of Potsdam (2012)
11. Vanhatalo, J., Völzer, H., Koehler, J.: The refined process structure tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 100-115. Springer, Heidelberg (2008)
12. Silva, M., Teruel, E., Colom, J.M.: Linear algebraic and linear programming techniques for the analysis of place or transition net systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 309-373. Springer, Heidelberg (1998)
13. Rozinat, A., de Medeiros, A.K.A., Günther, C.W., Weijters, A.J.M.M.T., van der Aalst, W.M.P.: The need for a process mining evaluation framework in research and practice. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 84-89. Springer, Heidelberg (2008) (Pubitemid 351358243)
14. Adriansyah, A., Sidorova, N., van Dongen, B.F.: Cost-based fitness in conformance checking. In: Caillaud, B., Carmona, J., Hiraishi, K. (eds.) ACSD, pp. 57-66. IEEE (2011)
15. van der Aalst,W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3), 333-363 (2011)
16. Cook, J., Wolf, A.: Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model. ACM Transactions on Software Engineering and Methodology 8(2), 147-176 (1999)
17. Weerdt, J.D., Backer, M.D., Vanthienen, J., Baesens, B.: A Multi-Dimensional Quality Assessment of State-of-the-Art Process Discovery Algorithms Using Real-Life Event Logs. Information Systems 37(7), 654-676 (2012)
18. Burattin, A., Sperduti, A.: PLG: A framework for the generation of business process models and their execution logs. In: zur Muehlen, M., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol. 66, pp. 214-219. Springer, Heidelberg (2011)