Process mining and verification of properties: An approach based on temporal logic

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

Volumn 3760 LNCS, Issue , 2005, Pages 130-147

  Van Der Aalst, W M P ^a   De Beer, H T ^a   Van Dongen, B F ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business process management; Data mining; Petri nets; Process mining; Temporal logic; Workflow management

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COGNITIVE SYSTEMS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; INFORMATION RETRIEVAL; PETRI NETS; SOFTWARE ENGINEERING; XML;

LINEAR TEMPORAL LOGIC; PROCESS MINING; STANDARD XML FORMATS; WORKFLOW MANAGEMENT;

DATA MINING;

EID: 33646698687     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11575771_11     Document Type: Conference Paper

References (35)

1. W.M.P. van der Aalst. Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. Information Systems Frontiers, 3(3):297-317, 2001.
2. W.M.P. van der Aalst. Business Alignment: Using Process Mining as a Tool for Delta Analysis. In J. Grundspenkis and M. Kirikova, editors, Proceedings of the 5th Workshop on Business Process Modeling, Development and Support (BPMDS'04), volume 2 of Caise'04 Workshops, pages 138-145. Riga Technical University, Latvia, 2004.
3. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002.
4. W.M.P. van der Aalst, A.K. Alves de Medeiros, and A.J.M.M. Weijters. Genetic Process Mining. In G. Ciardo and P. Darondeau, editors, Applications and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 48-69. Springer-Verlag, Berlin, 2005.
5. W.M.P. van der Aalst and A.K.A. de Medeiros. Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. In N. Busi, R. Gorrieri, and F. Martinelli, editors, Second International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), pages 69-84. STAR, Servizio Tipografico Area della Ricerca, CNR Pisa, Italy, 2004.
6. W.M.P. van der Aalst and M. Song. Mining Social Networks: Uncovering Interaction Patterns in Business Processes. In J. Desel, B. Pernici, and M. Weske, editors, International Conference on Business Process Management (BPM 2004), volume 3080 of Lecture Notes in Computer Science, pages 244-260. Springer-Verlag, Berlin, 2004.
7. W.M.P. van der Aalst, B.F. van Dongen, J. Herbst, L. Maruster, G. Schimm, and A.J.M.M. Weijters. Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering, 47(2):237-267, 2003.
8. W.M.P. van der Aalst and A.J.M.M. Weijters, editors. Process Mining, Special Issue of Computers in Industry, Volume 53, Number 3. Elsevier Science Publishers, Amsterdam, 2004.
9. W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster. Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering, 16(9):1128-1142, 2004.
10. R. Agrawal, D. Gunopulos, and F. Leymann. Mining Process Models from Workflow Logs. In Sixth International Conference on Extending Database Technology, pages 469-483, 1998.
11. H. de Beer. The LTL Checker Plugins: A Reference Manual. Eindhoven University of Technology, Eindhoven, 2004.
12. J.E. Cook, C. He, and C. Ma. Measuring Behavioral Correspondence to a Timed Concurrent Model. In Proceedings of the 2001 International Conference on Software Mainenance, pages 332-341, 2001.
13. J.E. Cook and A.L. Wolf. Discovering Models of Software Processes from Event-Based Data. A CM Transactions on Software Engineering and Methodology, 7(3):215-249, 1998.
14. J.E. Cook and A.L. Wolf. 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.
15. C.A. Ellis, K. Keddara, and G. Rozenberg. Dynamic change within workflow systems. In N. Comstock, C. Ellis, R. Kling, J. Mylopoulos, and S. Kaplan, editors, Proceedings of the Conference on Organizational Computing Systems, pages 10-21, Milpitas, California, August 1995. ACM SIGOIS, ACM Press, New York.
16. S. Fickas, T. Beauchamp, and N.A.R. Mamy. Monitoring Requirements: A Case Study. In Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE'02), page 299. IEEE Computer Society, 2002.
17. D. Giannakopoulou and K. Havelund. Automata-Based Verification of Temporal Properties on Running Programs. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'), pages 412-416. IEEE Computer Society Press, Providence, 2001.
18. D. Grigori, F. Casati, M. Castellanos, U. Dayal, M. Sayal, and M.C. Shan. Business process intelligence. Computers in Industry, 53(3):321-343, 2004.
19. D. Grigori, F. Casati, U. Dayal, and M.C. Shan. Improving Business Process Quality through Exception Understanding, Prediction, and Prevention. In P. Apers, P. Atzeni, S. Ceri, S. Paraboschi, K. Ramamohanarao, and R. Snodgrass, editors, Proceedings of 27th International Conference on Very Large Data Bases (VLDB'01), pages 159-168. Morgan Kaufmann, 2001.
20. K. Havelund and G. Rosu. Monitoring Programs Using Rewriting. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01), pages 135-143. IEEE Computer Society Press, Providence, 2001.
21. K. Havelund and G. Rosu. Synthesizing Monitors for Safety Properties. In Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), volume 2280 of Lecture Notes in Computer Science, pages 342-356. Springer-Verlag, Berlin, 2002.
22. J. Herbst. A Machine Learning Approach to Workflow Management. In Proceedings 11th European Conference on Machine Learning, volume 1810 of Lecture Notes in Computer Science, pages 183-194. Springer-Verlag, Berlin, 2000.
23. T. Hoffman. Sarbanes-Oxley Sparks Forensics Apps Interest: Vendors Offer Monitoring Tools to Help Identify Incidents of Financial Fraud. Computer World, 38:14-14, 2004.
24. IDS Scheer. ARIS Process Performance Manager (ARIS PPM): Measure, Analyze and Optimize Your Business Process Performance (whitepaper). IDS Scheer, Saarbruecken, Gemany, http://www.ids-scheer.com, 2002.
25. G. Keller and T. Teufel. SAP R/3 Process Oriented Implementation. Addison-Wesley, Reading MA, 1998.
26. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
27. M. zur Mühlen and M. Rosemann. Workflow-based Process Monitoring and Controlling - Technical and Organizational Issues. In R. Sprague, editor, Proceedings of the 33rd Hawaii International Conference on System Science (HICSS-33), pages 1-10. IEEE Computer Society Press, Los Alamitos, California, 2000.
28. A. Pnueli. The Temporal Logic of Programs. In Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science, pages 46-57. IEEE Computer Society Press, Providence, 1977.
29. M. Reichert and P. Dadam. ADEPTflex: Supporting Dynamic Changes of Workflow without Loosing Control. Journal of Intelligent Information Systems, 10(2):93-129, 1998.
30. S. Rinderle, M. Reichert, and P. Dadam. Correctness Criteria For Dynamic Changes in Workflow Systems: A Survey. Data and Knowledge Engineering, 50(1):9-34, 2004.
31. W.N. Robinson. Monitoring Software Requirements using Instrumented Code. In Proceedings of the 35th Annual Hawaii IEEE International Conference on Systems Sciences, pages 276-276. IEEE Computer Society, 2002.
32. W.N. Robinson. Monitoring Web Service Requirements. In Proceedings of 11th IEEE International Conference on Requirements Engineering (RE 2003), pages 56-74. IEEE Computer Society, 2003.
33. P. Sarbanes, G. Oxley, and et al. Sarbanes-Oxley Act of 2002, 2002.
34. M. Sayal, F. Casati, U. Dayal, and M.C. Shan. Business Process Cockpit. In Proceedings of 28th International Conference on Very Large Data Bases (VLDB'02), pages 880-883. Morgan Kaufmann, 2002.
35. A.J.M.M. Weijters and W.M.P. van der Aalst. Rediscovering Workflow Models from Event-Based Data using Little Thumb. Integrated Computer-Aided Engineering, 10(2):151-162, 2003.