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.
Author(s): Donald F. Ferguson, Marcia Stockton (auth.), Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth (eds.)
Series: Lecture Notes in Computer Science 4102
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 486
Tags: Information Storage and Retrieval; Information Systems Applications (incl. Internet); User Interfaces and Human Computer Interaction; Computers and Society; Management of Computing and Information Systems; Business Information Systems
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 -
