Analyzing Interacting BPEL Processes

12 years 3 months ago
Analyzing Interacting BPEL Processes
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. Key words: Business process modeling and analysis, Formal models in business process management, Process verification and validation, Petri nets
Niels Lohmann, Peter Massuthe, Christian Stahl, Da
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2006
Where BPM
Authors Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
Comments (0)