Monthly Archive for September, 2006

Analyzing Interacting BPEL Processes

Published
by
Niels
on 5. September 2006
in BPEL and Publikationen
. 0 Comments

Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting BPEL Processes. In Schahram Dustdar, José Luiz Fiadeiro, and Amit Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 17-32, September 2006. Springer-Verlag. ISBN 3-540-38901-6, DOI 10.1007/11841760_3

bpm20061.png
tool chain

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

Download

Links