Business Process Management International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings

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.