Business process management

This comprehensive survey covers various aspects of Business Process Management (BPM). It includes full papers on topics such as workflow composition for web services, the mining of specific workflow models from event-based data, and the evaluation of correctness criteria for dynamic workflow changes. The integration of state-based business rules is discussed to facilitate communication among diverse stakeholders, while business objectives are structured from a modeling perspective. The annotation also explores use cases as workflows, collaborative work models in virtual enterprises, and the development of a library for process programming. Key themes include generating process models from audit logs, contracting workflows, and ensuring security in business process engineering. The concept of query nets is introduced for interacting workflow modules that guarantee global termination, alongside the identification of generic recurrent patterns in business processes. Personal schedules for workflow systems and a process-oriented model for authentication using colored Petri nets are also examined. Additionally, the annotation addresses pattern-based workflow design, exception handling in BPEL4WS, and ratios for exploring business process models. The integration of business process reengineering with information systems development is highlighted, along with the challenges of implementing undo functionality in workflow manageme