Analyzing interacting BPEL processes

  • Authors:

  • Niels Lohmann;Peter Massuthe;Christian Stahl;Daniela Weinberg

  • Affiliations:

  • Institut für Informatik, Humboldt–Universität zu Berlin, Berlin, Germany;Institut für Informatik, Humboldt–Universität zu Berlin, Berlin, Germany;Institut für Informatik, Humboldt–Universität zu Berlin, Berlin, Germany;Institut für Informatik, Humboldt–Universität zu Berlin, Berlin, Germany

  • Venue:
  • BPM'06 Proceedings of the 4th international conference on Business Process Management
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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.