Business Process Management : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings

by Dustdar, Schahram; Fiadeiro, Jose Luiz; Sheth, Amit

• ISBN13: 9783540389019
• ISBN10: 3540389016
• Format: Paperback
• Copyright: 2006-09-15
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Enterprise business process management - architecture, technology and standards	p. 1
BizTalk server, Windows workflow foundation, and BPM	p. 16
Analyzing interacting BPEL processes	p. 17
Tracking over collaborative business processes	p. 33
Beyond workflow mining	p. 49
Adapt or perish : algebra and visual notation for service interface adaptation	p. 65
Automated service composition using heuristic search	p. 81
Structured service composition	p. 97
Isolating process-level concerns using Padus	p. 113
Process equivalence : comparing two process models based on observed behavior	p. 129
Investigations on soundness regarding lazy activities	p. 145
On the suitability of BPMN for business process modelling	p. 161
Workflow model compositions preserving relaxed soundness	p. 177
Semantic correctness in adaptive process management systems	p. 193
A framework for the development and execution of horizontal protocols in open BPM systems	p. 209
History-based joins : semantics, soundness and implementation	p. 225
On representing, purging, and utilizing change logs in process management systems	p. 241
Towards formal verification of Web service composition	p. 257
E-service/process composition through multi-agent constraint management	p. 274
Web service e-contract establishment using features	p. 290
A redesign framework for call centers	p. 306
Building business process driven Web applications	p. 322
A proposal for an open solution business process integration and management implementation framework	p. 338
Experiences in enhancing existing BPM tools with BPEL import and export	p. 348
Introducing case management : opening workflow management's black box	p. 358
IT support for release management processesin the automotive industry	p. 368
Diagnosing SCA components using WOMBAT	p. 378
Verifying workflows with cancellation regions and OR-joins : an approach based on reset nets and reachability analysis	p. 389
Towards a methodology for deriving contract-compliant business processes	p. 395
An AsmL executable model for WS-BPEL with orthogonal transactional behavior	p. 401
Optimizing exception handling in workflows using process restructuring	p. 407
Formalizing service interactions	p. 414
Decision mining in ProM	p. 420
Managing process variants as an information resource	p. 426
Verification of business process integration options	p. 432
Verifying BPEL workflows under authorisation constraints	p. 439
Selecting necessary and sufficient checkpoints for dynamic verification of fixed-time constraints in grid workflow systems	p. 445
Faulty EPCs in the SAP reference model	p. 451
A hybrid approach for generating compatible WS-BPEL partner processes	p. 458
Towards a task-oriented, policy-driven business requirements specification for Web services	p. 465
Parameterized BPEL processes : concepts and implementation	p. 471
Behavioral technique for workflow abstraction and matching	p. 477
Table of Contents provided by Blackwell. All Rights Reserved.