Monthly Archive for Februar, 2007

Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation

Published
by
Niels
on 23. Februar 2007
in BPEL and Publikationen
. 0 Comments

Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation. Data Knowl. Eng., 64(1):38-54, January 2008. DOI: 10.1016/j.datak.2007.06.006

flexible model generation

flexible model generation

Abstract: We address the problem of analyzing the interaction between WS-BPEL processes. We present a echnology chain that starts out with a WS-BPEL process and translates it into a Petri net model. n the model we decide controllability of the process (the existence of a partner process, uch that both can interact properly) and compute its operating guideline (a haracterization 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 ompact Petri net models. 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, WS-BPEL

Dateien

Links