Constitutes the refereed proceedings of the 4th International Conference on Business Process Management, BPM 2006. This book presents 20 revised full papers, 5 industrial papers, and 15 short papers together with an invited paper and the abstract of an invited talk.

Invited Talks.- Enterprise Business Process Management – Architecture, Technology and Standards.- BizTalk Server, Windows Workflow Foundation, and BPM.- Monitoring and Mining.- Analyzing Interacting BPEL Processes.- Tracking over Collaborative Business Processes.- Beyond Workflow Mining.- Service Composition.- Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation.- Automated Service Composition Using Heuristic Search.- Structured Service Composition.- Isolating Process-Level Concerns Using Padus.- Process Models and Languages.- Process Equivalence: Comparing Two Process Models Based on Observed Behavior.- Investigations on Soundness Regarding Lazy Activities.- On the Suitability of BPMN for Business Process Modelling.- Workflow Model Compositions Preserving Relaxed Soundness.- Dynamic Process Management.- Semantic Correctness in Adaptive Process Management Systems.- A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems.- History-Based Joins: Semantics, Soundness and Implementation.- On Representing, Purging, and Utilizing Change Logs in Process Management Systems.- Service Composition.- Retracted: Towards Formal Verification of Web Service Composition.- E-Service/Process Composition Through Multi-agent Constraint Management.- Web Service E-Contract Establishment Using Features.- Applied BPM.- A Redesign Framework for Call Centers.- Building Business Process Driven Web Applications.- Industrial Papers.- A Proposal for an Open Solution Business Process Integration and Management Implementation Framework.- Experiences in Enhancing Existing BPM Tools with BPEL Import and Export.- Introducing Case Management: Opening Workflow Management’s Black Box.- IT Support for Release Management Processes in the AutomotiveIndustry.- Diagnosing SCA Components Using Wombat.- Short Papers.- Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis.- Towards a Methodology for Deriving Contract-Compliant Business Processes.- An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior.- Optimizing Exception Handling in Workflows Using Process Restructuring.- Formalizing Service Interactions.- Decision Mining in ProM.- Managing Process Variants as an Information Resource.- Verification of Business Process Integration Options.- Verifying BPEL Workflows Under Authorisation Constraints.- Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems.- Faulty EPCs in the SAP Reference Model.- A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes.- Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services.- Parameterized BPEL Processes: Concepts and Implementation.- Behavioral Technique for Workflow Abstraction and Matching.- Erratum.- Towards Formal Verification of Web Service Composition.