Business Process Management: 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings (Lecture Notes in Computer Science (4102))

This book constitutes the refereed proceedings of the 4th International Conference on Business Process Management, BPM 2006. The 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. The papers are organized in topical sections on monitoring and mining, service composition, process models and languages, dynamic process management, Web service composition, and applied business process management. Front Matter....Pages - Enterprise Business Process Management – Architecture, Technology and Standards....Pages 1-15 BizTalk Server, Windows Workflow Foundation, and BPM....Pages 16-16 Analyzing Interacting BPEL Processes....Pages 17-32 Tracking over Collaborative Business Processes....Pages 33-48 Beyond Workflow Mining....Pages 49-64 Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation....Pages 65-80 Automated Service Composition Using Heuristic Search....Pages 81-96 Structured Service Composition....Pages 97-112 Isolating Process-Level Concerns Using Padus....Pages 113-128 Process Equivalence: Comparing Two Process Models Based on Observed Behavior....Pages 129-144 Investigations on Soundness Regarding Lazy Activities....Pages 145-160 On the Suitability of BPMN for Business Process Modelling....Pages 161-176 Workflow Model Compositions Preserving Relaxed Soundness....Pages 177-192 Semantic Correctness in Adaptive Process Management Systems....Pages 193-208 A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems....Pages 209-224 History-Based Joins: Semantics, Soundness and Implementation....Pages 225-240 On Representing, Purging, and Utilizing Change Logs in Process Management Systems....Pages 241-256 Retracted: Towards Formal Verification of Web Service Composition....Pages 257-273 E-Service/Process Composition Through Multi-agent Constraint Management....Pages 274-289 Web Service E-Contract Establishment Using Features....Pages 290-305 A Redesign Framework for Call Centers....Pages 306-321 Building Business Process Driven Web Applications....Pages 322-337 A Proposal for an Open Solution Business Process Integration and Management Implementation Framework....Pages 338-347 Experiences in Enhancing Existing BPM Tools with BPEL Import and Export....Pages 348-357 Introducing Case Management: Opening Workflow Management’s Black Box....Pages 358-367 IT Support for Release Management Processes in the Automotive Industry....Pages 368-377 Diagnosing SCA Components Using Wombat ....Pages 378-388 Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis....Pages 389-394 Towards a Methodology for Deriving Contract-Compliant Business Processes....Pages 395-400 An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior....Pages 401-406 Optimizing Exception Handling in Workflows Using Process Restructuring....Pages 407-413 Formalizing Service Interactions....Pages 414-419 Decision Mining in ProM....Pages 420-425 Managing Process Variants as an Information Resource....Pages 426-431 Verification of Business Process Integration Options....Pages 432-438 Verifying BPEL Workflows Under Authorisation Constraints....Pages 439-444 Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems....Pages 445-450 Faulty EPCs in the SAP Reference Model....Pages 451-457 A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes....Pages 458-464 Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services....Pages 465-470 Parameterized BPEL Processes: Concepts and Implementation....Pages 471-476 Behavioral Technique for Workflow Abstraction and Matching....Pages 477-483 Towards Formal Verification of Web Service Composition....Pages E1-E1 Back Matter....Pages -

This book constitutes the refereed proceedings of the 4th International Conference on Business Process Management, BPM 2006, held in Vienna, Austria in September 2006.

The 20 revised full papers, 5 industrial papers, and 15 short papers presented together with an invited paper and the abstract of an invited talk were carefully reviewed and selected from 138 submissions. The papers are organized in topical sections on monitoring and mining, service composition, process models and languages, dynamic process management, Web service composition, and applied business process management.

This book constitutes the refereed proceedings of the 4th International Conference on Business Process Management, BPM 2006, held in Vienna, Austria in September 2006. The 20 revised full papers, 5 industrial papers, and 15 short papers presented together with an invited paper and the abstract of an invited talk were carefully reviewed and selected from 138 submissions. The papers are organized in topical sections on monitoring and mining, service composition, process models and languages, dynamic process management, Web service composition, and applied business process management The papers are organized in 9 topical sections on declarative processes, user-centered process approaches, process discovery, integrative BPM, resource and time management in BPM, process analytics, process enabled environments, discovery and monitoring, and industry papers.