Analyzing Interacting BPEL Processes

  • Niels Lohmann
  • Peter Massuthe
  • Christian Stahl
  • Daniela Weinberg
Conference paper

DOI: 10.1007/11841760_3

Volume 4102 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Lohmann N., Massuthe P., Stahl C., Weinberg D. (2006) Analyzing Interacting BPEL Processes. In: Dustdar S., Fiadeiro J.L., Sheth A.P. (eds) Business Process Management. BPM 2006. Lecture Notes in Computer Science, vol 4102. Springer, Berlin, Heidelberg

Abstract

This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly interacting partner processes). A case study demonstrates the value of this technology chain.

Keywords

Business process modeling and analysis Formal models in business process management Process verification and validation Petri nets 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Niels Lohmann
    • 1
  • Peter Massuthe
    • 1
  • Christian Stahl
    • 1
  • Daniela Weinberg
    • 1
  1. 1.Institut für InformatikHumboldt–Universität zu BerlinBerlinGermany