Business Process Management

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 Automotive Industry.- 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