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.