Chapter

Business Process Management

Volume 4102 of the series Lecture Notes in Computer Science pp 17-32

Analyzing Interacting BPEL Processes

  • Niels LohmannAffiliated withLancaster UniversityInstitut für Informatik, Humboldt–Universität zu Berlin
  • , Peter MassutheAffiliated withLancaster UniversityInstitut für Informatik, Humboldt–Universität zu Berlin
  • , Christian StahlAffiliated withLancaster UniversityInstitut für Informatik, Humboldt–Universität zu Berlin
  • , Daniela WeinbergAffiliated withLancaster UniversityInstitut für Informatik, Humboldt–Universität zu Berlin

* Final gross prices may vary according to local VAT.

Get Access

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