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
Invited Talks
Monitoring and Mining
Service Composition
- Marlon Dumas, Murray Spork, Kenneth Wang:
Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation.
65-80
- Harald Meyer, Mathias Weske:
Automated Service Composition Using Heuristic Search.
81-96
- Rik Eshuis, Paul W. P. J. Grefen, Sven Till:
Structured Service Composition.
97-112
- 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
Process Models and Languages
Dynamic Process Management
- Linh Thao Ly, Stefanie Rinderle, Peter Dadam:
Semantic Correctness in Adaptive Process Management Systems.
193-208
- 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
- Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
History-Based Joins: Semantics, Soundness and Implementation.
225-240
- Stefanie Rinderle, Manfred Reichert, Martin Jurisch, Ulrich Kreher:
On Representing, Purging, and Utilizing Change Logs in Process Management Systems.
241-256
Service Composition
Applied BPM
Industrial Papers
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
- Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlowska:
Towards a Methodology for Deriving Contract-Compliant Business Processes.
395-400
- Luciano García-Bañuelos:
An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior.
401-406
- Mati Golani, Avigdor Gal:
Optimizing Exception Handling in Workflows Using Process Restructuring.
407-413
- Gero Decker, Frank Puhlmann, Mathias Weske:
Formalizing Service Interactions.
414-419
- Anne Rozinat, Wil M. P. van der Aalst:
Decision Mining in ProM.
420-425
- Ruopeng Lu, Shazia Wasim Sadiq:
Managing Process Variants as an Information Resource.
426-431
- Georg Grossmann, Michael Schrefl, Markus Stumptner:
Verification of Business Process Integration Options.
432-438
- Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishnan:
Verifying BPEL Workflows Under Authorisation Constraints.
439-444
- Jinjun Chen, Yun Yang:
Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems.
445-450
- 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
- Simon Moser, Axel Martens, Marc Häbich, Jutta Mülle:
A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes.
458-464
- Stephen Gorton, Stephan Reiff-Marganiec:
Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services.
465-470
- Dimka Karastoyanova, Frank Leymann, Jörg Nitzsche, Branimir Wetzstein, Daniel Wutke:
Parameterized BPEL Processes: Concepts and Implementation.
471-476
- Kais Klai, Nomane Ould Ahmed M'Bareck, Samir Tata:
Behavioral Technique for Workflow Abstraction and Matching.
477-483
Copyright © Mon Nov 2 20:22:20 2009
by Michael Ley (ley@uni-trier.de)