Analyzing Interacting BPEL Processes
- 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
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.
KeywordsBusiness process modeling and analysis Formal models in business process management Process verification and validation Petri nets
Unable to display preview. Download preview PDF.