Business Process Management 2006: Vienna, Austria

Invited Talks

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

Monitoring and Mining

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

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

• 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
  
• Frank Puhlmann, Mathias Weske:
  Investigations on Soundness Regarding Lazy Activities. 145-160
  
• 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
  
• Juliane Siegeris, Armin Zimmermann:
  Workflow Model Compositions Preserving Relaxed Soundness. 177-192
  

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

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

Applied BPM

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

Industrial Papers

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

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