Table of Contents

Trends in Business Process Analysis: From Verification to Process Mining

W.M.P. van der Aalst
In J. Cardoso, J. Cordeiro, and J. Filipe, editors, Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), pages 12-22. Institute for Systems and Technologies of Information, Control and Communication, INSTICC, Medeira, Portugal, 2007


Business process analysis ranges from model verification at design-time to the monitoring of processes at runtime. Much progress has been achieved in process verification. Today we are able to verify the entire reference model of SAP without any problems. Moreover, more and more processes leave their “trail” in the form of event logs. This makes it interesting to apply process mining to these logs. Interestingly, practical applications of process mining reveal that reality is often quite different from the idealized models, also referred to as “PowerPoint reality”. Future process-aware information systems will need to provide full support of the entire life-cycle of business processes. Recent results in business process analysis show that this is indeed possible, e.g., the possibilities offered by process mining tools such as ProM are breathtaking both from a scientific and practical perspective.

Download PDF (275 KB)