Sciweavers

DKE
2008

Analyzing interacting WS-BPEL processes using flexible model generation

13 years 2 months ago
Analyzing interacting WS-BPEL processes using flexible model generation
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates 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). To manage processes of realistic size, we present a concept of a flexible model generation which allows the generation of compact Petri net models. 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, WS-BPEL
Niels Lohmann, Peter Massuthe, Christian Stahl, Da
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where DKE
Authors Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
Comments (0)