Business Process Management 2006: Vienna, Austria

Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth (Eds.): Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings. Lecture Notes in Computer Science 4102 Springer 2006, ISBN 3-540-38901-6 BibTeX

Invited Talks

Donald F. Ferguson, Marcia L. Stockton:
Enterprise Business Process Management - Architecture, Technology and Standards. 1-15
Electronic Edition (link) BibTeX
Dave Green:
BizTalk Server, Windows Workflow Foundation, and BPM. 16
Electronic Edition (link) BibTeX

Monitoring and Mining

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg:
Analyzing Interacting BPEL Processes. 17-32
Electronic Edition (link) BibTeX
Xiaohui Zhao, Chengfei Liu:
Tracking over Collaborative Business Processes. 33-48
Electronic Edition (link) BibTeX
Clarence A. Ellis, Aubrey J. Rembert, Kwang-Hoon Kim, Jacques Wainer:
Beyond Workflow Mining. 49-64
Electronic Edition (link) BibTeX

Service Composition

Marlon Dumas, Murray Spork, Kenneth Wang:
Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. 65-80
Electronic Edition (link) BibTeX
Harald Meyer, Mathias Weske:
Automated Service Composition Using Heuristic Search. 81-96
Electronic Edition (link) BibTeX
Rik Eshuis, Paul W. P. J. Grefen, Sven Till:
Structured Service Composition. 97-112
Electronic Edition (link) BibTeX
Mathieu Braem, Kris Verlaenen, Niels Joncheere, Wim Vanderperren, Ragnhild Van Der Straeten, Eddy Truyen, Wouter Joosen, Viviane Jonckers:
Isolating Process-Level Concerns Using Padus. 113-128
Electronic Edition (link) BibTeX

Process Models and Languages

Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters:
Process Equivalence: Comparing Two Process Models Based on Observed Behavior. 129-144
Electronic Edition (link) BibTeX
Frank Puhlmann, Mathias Weske:
Investigations on Soundness Regarding Lazy Activities. 145-160
Electronic Edition (link) BibTeX
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell:
On the Suitability of BPMN for Business Process Modelling. 161-176
Electronic Edition (link) BibTeX
Juliane Siegeris, Armin Zimmermann:
Workflow Model Compositions Preserving Relaxed Soundness. 177-192
Electronic Edition (link) BibTeX

Dynamic Process Management

Linh Thao Ly, Stefanie Rinderle, Peter Dadam:
Semantic Correctness in Adaptive Process Management Systems. 193-208
Electronic Edition (link) BibTeX
Javier Fabra, Pedro Álvarez, José A. Bañares, Joaquin Ezpeleta:
A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems. 209-224
Electronic Edition (link) BibTeX
Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
History-Based Joins: Semantics, Soundness and Implementation. 225-240
Electronic Edition (link) BibTeX
Stefanie Rinderle, Manfred Reichert, Martin Jurisch, Ulrich Kreher:
On Representing, Purging, and Utilizing Change Logs in Process Management Systems. 241-256
Electronic Edition (link) BibTeX

Service Composition

Mohsen Rouached, Olivier Perrin, Claude Godart:
Towards Formal Verification of Web Service Composition. 257-273
Electronic Edition (link) BibTeX
Minhong Wang, William K. Cheung, Jiming Liu, Xiao-Feng Xie, Zongwei Luo:
E-Service/Process Composition Through Multi-agent Constraint Management. 274-289
Electronic Edition (link) BibTeX
Marcelo Fantinato, Itana Maria de Souza Gimenes, Maria Beatriz Felgar de Toledo:
Web Service E-Contract Establishment Using Features. 290-305
Electronic Edition (link) BibTeX

Applied BPM

Monique H. Jansen-Vullers, Mariska Netjes, Hajo A. Reijers, M. J. Stegeman:
A Redesign Framework for Call Centers. 306-321
Electronic Edition (link) BibTeX
Victoria Torres, Vicente Pelechano:
Building Business Process Driven Web Applications. 322-337
Electronic Edition (link) BibTeX

Industrial Papers

Fathi M. Al-Ghaiati:
A Proposal for an Open Solution Business Process Integration and Management Implementation Framework. 338-347
Electronic Edition (link) BibTeX
Jan Mendling, Kristian Bisgaard Lassen, Uwe Zdun:
Experiences in Enhancing Existing BPM Tools with BPEL Import and Export. 348-357
Electronic Edition (link) BibTeX
Kees Kaan, Hajo A. Reijers, Peter van der Molen:
Introducing Case Management: Opening Workflow Management's Black Box. 358-367
Electronic Edition (link) BibTeX
Dominic Müller, Joachim Herbst, Markus Hammori, Manfred Reichert:
IT Support for Release Management Processes in the Automotive Industry. 368-377
Electronic Edition (link) BibTeX
Axel Martens, Simon Moser:
Diagnosing SCA Components Using Wombat. 378-388
Electronic Edition (link) BibTeX

Short Papers

Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond:
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis. 389-394
Electronic Edition (link) BibTeX
Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlowska:
Towards a Methodology for Deriving Contract-Compliant Business Processes. 395-400
Electronic Edition (link) BibTeX
Luciano García-Bañuelos:
An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior. 401-406
Electronic Edition (link) BibTeX
Mati Golani, Avigdor Gal:
Optimizing Exception Handling in Workflows Using Process Restructuring. 407-413
Electronic Edition (link) BibTeX
Gero Decker, Frank Puhlmann, Mathias Weske:
Formalizing Service Interactions. 414-419
Electronic Edition (link) BibTeX
Anne Rozinat, Wil M. P. van der Aalst:
Decision Mining in ProM. 420-425
Electronic Edition (link) BibTeX
Ruopeng Lu, Shazia Wasim Sadiq:
Managing Process Variants as an Information Resource. 426-431
Electronic Edition (link) BibTeX
Georg Grossmann, Michael Schrefl, Markus Stumptner:
Verification of Business Process Integration Options. 432-438
Electronic Edition (link) BibTeX
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishnan:
Verifying BPEL Workflows Under Authorisation Constraints. 439-444
Electronic Edition (link) BibTeX
Jinjun Chen, Yun Yang:
Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems. 445-450
Electronic Edition (link) BibTeX
Jan Mendling, Michael Moser, Gustaf Neumann, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
Faulty EPCs in the SAP Reference Model. 451-457
Electronic Edition (link) BibTeX
Simon Moser, Axel Martens, Marc Häbich, Jutta Mülle:
A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. 458-464
Electronic Edition (link) BibTeX
Stephen Gorton, Stephan Reiff-Marganiec:
Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services. 465-470
Electronic Edition (link) BibTeX
Dimka Karastoyanova, Frank Leymann, Jörg Nitzsche, Branimir Wetzstein, Daniel Wutke:
Parameterized BPEL Processes: Concepts and Implementation. 471-476
Electronic Edition (link) BibTeX
Kais Klai, Nomane Ould Ahmed M'Bareck, Samir Tata:
Behavioral Technique for Workflow Abstraction and Matching. 477-483
Electronic Edition (link) BibTeX