Conformance checking of processes based on monitoring real behavior

P. Sarbanes, G. Oxley, et al., Sarbanes-Oxley Act of 2002, 2002. van der Aalst, 2003, Workflow mining: a survey of issues and approaches, Data Knowl. Eng., 47, 237, 10.1016/S0169-023X(03)00066-1 van der Aalst, 2002 Keller, 1998 Scheer, 2000 J. Desel, W. Reisig, G. Rozenberg (Eds.), Lectures on concurrency and petri nets, Lecture Notes in Computer Science, vol. 3098, Springer, Berlin, 2004. A. Rozinat, W.M.P. van der Aalst, Conformance testing: measuring the fit and appropriateness of event logs and process models, in: C. Bussler, et al. (Eds.), Business Process Management 2005 Workshops, Lecture Notes in Computer Science, vol. 3812, Springer, Berlin, 2006, pp. 163–176. J. Desel, J. Esparza, Free choice petri nets, Cambridge Tracts in Theoretical Computer Science, vol. 40, Cambridge University Press, Cambridge, UK, 1995. W.M.P. van der Aalst, M. Song, Mining social networks: uncovering interaction patterns in business processes, in: J. Desel, B. Pernici, M. Weske (Eds.), International Conference on Business Process Management (BPM 2004), Lecture Notes in Computer Science, vol. 3080, Springer, Berlin, 2004, pp. 244–260. van der Aalst, 2004, Workflow mining: discovering process models from event logs, IEEE Trans. Knowl. Data Eng., 16, 1128, 10.1109/TKDE.2004.47 Reichert, 1998, ADEPTflex—supporting dynamic changes of workflows without loosing control, J. Intelligent Inf. Syst., 10, 93, 10.1023/A:1008604709862 Liggesmeyer, 2002 W.M.P. van der Aalst, A.K.A. de Medeiros, A.J.M.M. Weijters, Genetic process mining, in: G. Ciardo, P. Darondeau (Eds.), 26th International Conference on Applications and Theory of Petri Nets (ICATPN 2005), Lecture Notes in Computer Science, vol. 3536, Springer, Berlin, 2005, pp. 48–69. A. Rozinat, W.M.P. van der Aalst, Conformance testing: measuring the alignment between event logs and process models, BETA Working Paper Series, WP 144, Eindhoven University of Technology, Eindhoven, 2005. W.M.P. van der Aalst, B.F. van Dongen, C.W. Günther, R.S. Mans, A.K. Alves de Medeiros, A. Rozinat, V. Rubin, M. Song, H.M.W. Verbeek, A.J.M.M. Weijters, ProM 4.0: comprehensive support for real process analysis, in: J. Kleijn, A. Yakovlev (Eds.), Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007), Lecture Notes in Computer Science, vol. 4546, Springer, Berlin, 2007, pp. 484–494. Murata, 1989, Petri nets: properties, analysis and applications, Proc. IEEE, 77, 541, 10.1109/5.24143 Peterson, 1981 W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, H.M.W. Verbeek, Choreography conformance checking: an approach based on BPEL and petri nets (extended version), BPM Center Report BPM-05-25, BPMcenter.org, 2005, ACM Transactions on Internet Technology, special issue on Middleware for Service-oriented Computing, to appear. H.M.W. Verbeek, Verification and enactment of workflow management systems, Ph.D. Thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 2004. A.K. Alves de Medeiros, Genetic process mining, Ph.D. Thesis, Department of Technology Management, Technical University Eindhoven, 2006. Günther, 2006, A generic import framework for process event logs, vol. 4103, 81 C. Ouyang, W.M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hofstede, H.M.W. Verbeek, Formal semantics and analysis of control flow in WS-BPEL, BPM Center Report BPM-05-13, BPMcenter.org, 2005. Cook, 1999, Software process validation: quantitatively measuring the correspondence of a process to a model, ACM Trans. Software Eng. Methodol., 8, 147, 10.1145/304399.304401 J.E. Cook, C. He, C. Ma, Measuring behavioral correspondence to a timed concurrent model, in: Proceedings of the 2001 International Conference on Software Maintenance, 2001, pp. 332–341. W.M.P. van der Aalst, A.K.A. de Medeiros, Process mining and security: detecting anomalous process executions and checking process conformance, in: N. Busi, R. Gorrieri, F. Martinelli (Eds.), Second International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), STAR, Servizio Tipografico Area della Ricerca, CNR Pisa, Italy, 2004, pp. 69–84. W.M.P. van der Aalst, Business alignment: using process mining as a tool for delta analysis, in: J. Grundspenkis, M. Kirikova (Eds.), Proceedings of the 5th Workshop on Business Process Modeling, Development and Support (BPMDS’04), Caise’04 Workshops, Riga Technical University, 2004, vol. 2, pp. 138–145. A.K.A. de Medeiros, A.J.M.M. Weijters, W.M.P. van der Aalst, Genetic process mining: a basic approach and its challenges, in: M. Castellanos, T. Weijters (Eds.), First International Workshop on Business Process Intelligence (BPI’05), Nancy, France, September 2005, pp. 46–57. B. Weber, M. Reichert, S. Rinderle, W. Wild, Towards a framework for the agile mining of business processes, in: C. Bussler, et al. (Eds.), Business Process Management 2005 Workshops, Lecture Notes in Computer Science, vol. 3812, Nancy, France, September 2006, Springer, Berlin, pp. 191–202. W.M.P. van der Aalst, A.J.M.M. Weijters (Eds.), Process mining, Special Issue of Computers in Industry, vol. 53(3), Elsevier Science Publishers, Amsterdam, 2004. G. Greco, A. Guzzo, L. Pontieri, D. Saccá, Mining expressive process models by clustering workflow traces, in: Proceedings of Advances in Knowledge Discovery and Data Mining, 8th Pacific-Asia Conference (PAKDD 2004), 2004, pp. 52–62. A.J.M.M. Weijters, W.M.P. van der Aalst, Rediscovering workflow models from event-based data, in: Proceedings of the Third International NAISO Symposium on Engineering of Intelligent Systems (EIS 2002), NAISO Academic Press, Sliedrecht, The Netherlands, 2002 (on CD-rom). W.M.P. van der Aalst, H.T. de Beer, B.F. van Dongen, Process mining and verification of properties: an approach based on temporal logic, in: R. Meersman, Z. Tari, et al. (Eds.), On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Lecture Notes in Computer Science, vol. 3760, Springer, Berlin, 2005, pp. 130–147. Juhás, 2005, Can I execute my scenario in your net?, vol. 3536, 289 Bergenthum, 2006, Can I execute my scenario in your net? VipTool tells you!, vol. 4024, 381 Grigori, 2004, Business process intelligence, Comput. Ind., 53, 321, 10.1016/j.compind.2003.10.007 Grigori, 2001, Improving business process quality through exception understanding, 159 M. zur Mühlen, M. Rosemann, Workflow-based process monitoring and controlling—technical and organizational issues, in: R. Sprague (Ed.), Proceedings of the 33rd Hawaii International Conference on System Science (HICSS-33), IEEE Computer Society Press, Los Alamitos, California, 2000, pp. 1–10.