Trends in business process analysis from verification to process mining

ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings

Volumn AIDSS, Issue , 2007, Pages

  Wil, M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business process management; Petri nets; Process mining; Simulation; Verification; Workflow management

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS ANALYSIS; BUSINESS PROCESS MANAGEMENT; IN-PROCESS; MODEL VERIFICATION; POWERPOINT; PROCESS MINING; PROCESS-AWARE INFORMATION SYSTEMS; REFERENCE MODELS; RUNTIME; SIMULATION; WORKFLOW MANAGEMENT;

ENTERPRISE RESOURCE MANAGEMENT; GRAPH THEORY; MINING; PETRI NETS; SIMULATORS; WORK SIMPLIFICATION;

INFORMATION SYSTEMS;

EID: 67649964142     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. Van der Aalst, W. (2004). Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. In Desel, J., Reisig, W., and Rozenberg, G., editors, Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 1-65. Springer-Verlag, Berlin.
2. Van der Aalst, W., Dreiling, A., Gottschalk, R, Rosemann, M., and Jansen-Vullers, M. (2006a). Configurable Process Models as a Basis for Reference Modeling. In Bussler et al., C, editor, BPM 2005 Workshops (Workshop on Business Process Reference Models), volume 3812 of Lecture Notes in Computer Science, pages 512-518. Springer-Verlag, Berlin.
3. Van der Aalst, W., Dumas, M., Ouyang, C, Rozinat, A., and Verbeek, H. (2006b). Choreography Mining and Conformance Checking. In Leymann, R, Reisig, W., Thatte, S., and van der Aalst, W., editors, The Role of Business Processes in Service Oriented Architectures, number 6291 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.
4. Van der Aalst, W. and Hee, K. (2004). Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA.
5. Van der Aalst, W. and ter Hofstede, A. (2005). YAWL: Yet Another Workflow Language. Information Systems, 30(4):245-275.
6. Van der Aalst, W., Reijers, H., and Song, M. (2005). Discovering Social Networks from Event Logs. Computer Supported Cooperative work, 14(6):549-593.
7. Van der Aalst, W, van Dongen, B., Herbst, J., Maruster, L., Schimm, G., and Weijters, A. (2003). Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering, 47(2):237-267.
8. Van der Aalst, W, Weijters, A., and Maruster, L. (2004). Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering, 16(9): 1128-1142.
9. Agrawal, R., Gunopulos, D., and Leymann, R (1998). Mining Process Models from Workflow Logs. In Sixth International Conference on Extending Database Technology, pages 469-483.
10. Cardoso, I. (2006). Process control-flow complexity metric: An empirical validation. In IEEE International Conference on Services Computing (SCC 2006), pages 167-173. IEEE Computer Society.
11. Cardoso, J., Sheth, A., Miller, J., Arnold, J., and Kochut, K. (2004). Quality of service for workflows and web service processes. Journal of Web Semantics, 1(3):281-308.
12. Curran, T. and Keller, G. (1997). SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Upper Saddle River.
13. Datta, A. (1998). Automating the Discovery of As-Is Business Process Models: Probabilistic and Algorithmic Approaches. Information Systems Research, 9(3):275-301.
14. Desel, J. and Esparza, J. (1995). Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK.
15. Van Dongen, B. and van der Aalst, W. (2004). Multi-Phase Process Mining: Building Instance Graphs. In Atzeni, P., Chu, W, Lu, H., Zhou, S., and Ling, T., editors, International Conference on Conceptual Modeling (ER 2004), volume 3288 of Lecture Notes in Computer Science, pages 362-376. Springer-Verlag, Berlin.
16. Van Dongen, B., Medeiros, A., Verbeek, H., Weijters, A., and Van der Aalst, W. (2005). The ProM framework: A New Era in Process Mining Tool Support. In Cia-rdo, G. and Darondeau, P., editors, Application and Theory of Petri Nets 2005, volume 3536 of LectureNotes in Computer Science, pages 444-454. Springer-Verlag, Berlin.
17. Georgakopoulos, D., Hornick, M., and Sheth, A. (1995). An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3:119-153.
18. Herbst, J. (2000). 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.
19. Jansen-Vullers, M., van der Aalst, W., and Rosemann, M. (2006). Mining Configurable Enterprise Information Systems. Data and Knowledge Engineering, 56(3): 195-244.
20. Leymann, F. and Roller, D. (1999). Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River, New Jersey, USA.
21. Mendling, J., van der Aalst, W., Dongen, B., and Verbeek, E. (2006a). Errors in the SAP Reference Model. BP-Trends, 4(6): 1-5.
22. Mendling, J., Moser, M., Neumann, G., Verbeek, H., Dongen, B., and van der Aalst, W. (2006b). Faulty EPCs in the SAP Reference Model. In Dustdar, S., Faideiro, J., and Sheth, A., editors, International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, pages 451-457. Springer-Verlag, Berlin.
23. Netjes, M., Vanderfeesten, I., and Reijers, H. (2006). "Intelligent" Tools for Workflow Process Redesign: A Research Agenda. In Bussler, C. and Haller, A., editors, Business Process Management Workshops (BPM 2005), volume 3812 of Lecture Notes in Computer Science, pages 444-453. Springer-Verlag, Berlin.
24. Reijers, H. and van der Aalst, W. (1999)! Short-Term Simulation: Bridging the Gap between Operational Control and Strategic Decision Making. In Hamza, M., editor, Proceedings of the IASTED International Conference on Modelling and Simulation, pages 417-421. IASTED/Acta Press, Anaheim, USA.
25. Reisig, W. and Rozenberg, G., editors (1998). Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin.
26. Rosemann, M. and van der Aalst, W. (2006). A Configurable Reference Modelling Language. Information Systems, 32(1): 1-23.
27. Rozinat, A. and van der Aalst, W. (2006a). Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In Bussler et al., C, editor, BPM 2005 Workshops (Workshop on Business Process Intelligence), volume 3812 of Lecture Notes in Computer Science, pages 163-176. Springer-Verlag, Berlin.
28. Rozinat, A. and van der Aalst, W. (2006b). Decision Mining in ProM. In Dustdar, S., Faideiro, J., and Sheth, A., editors, International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, pages 420-425. Springer-Verlag, Berlin.
29. Rozinat, A., Mans, R., and van der Aalst, W. (2006). Mining CPN Models: Discovering Process Models with Data from Event Logs. In Jensen, K., editor, Proceedings of the Seventh Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2006), volume 579 of DAIMI, pages 57-76, Aarhus, Denmark. University of Aarhus.
30. Verbeek, H., Basten, T., and van der Aalst, W (2001). Diagnosing Workflow Processes using Woflan. The Computer Journal, 44(4):246-279.
31. Weijters, A. and van der Aalst, W. (2003). Rediscovering Workflow Models from Event-Based Data using Little Thumb. Integrated Computer-Aided Engineering, 10(2):151-162.