Business Process Management: A Survey -- Full Papers -- Workflow: A Language for Composing Web Services -- Mining Most Specific Workflow Models from Event-Based Data -- Evaluation of Correctness Criteria for Dynamic Workflow Changes -- Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders -- Structuring Business Objectives: A Business Process Modeling Perspective -- Use Cases as Workflows -- A Model to Support Collaborative Work in Virtual Enterprises -- Towards a Library for Process Programming -- Generating a Process Model from a Process Audit Log -- Contracting Workflows and Protocol Patterns -- Security in Business Process Engineering -- Query Nets: Interacting Workflow Modules That Ensure Global Termination -- Generic Recurrent Patterns in Business Processes -- Personal Schedules for Workflow Systems -- A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net -- Pattern Based Workflow Design Using Reference Nets -- A Model for Process Service Interaction -- Exception Handling in the BPEL4WS Language -- Ratios to Support the Exploration of Business Process Models -- Integrating Business Process Reengineering with Information Systems Development: Issues & Implications -- Undo in Workflow Management Systems -- A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling -- A Case-Based Framework for Workflow Model Management -- Tool Papers -- ADEPT Workflow Management System -- Modelling and Validation with VipTool.