The Community for Technology Leaders
Internet and Web Applications and Services, International Conference on (2008)
June 8, 2008 to June 13, 2008
ISBN: 978-0-7695-3163-2
pp: 590-595
ABSTRACT
Formal methods, like Petri nets, provide a means to analyse BPEL processes, detecting weaknesses and errors in the process model already at design-time. However, in most approaches proposed so far, the analysis is restricted to the control flow only. Analysing quality properties of BPEL processes might therefore yield false-negative results. In this paper, we are presenting an enhanced BPEL to Petri net mapping, that incorporates relevant data aspects by doing a CSSA-based analysis and applying novel Petri net patterns. The resulting formal model allows for a more precise analysis of critical properties, such as controllability and behavioural compatibility.
INDEX TERMS
CITATION
Thomas S. Heinze, Simon Moser, Wolfram Amme, "Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping", Internet and Web Applications and Services, International Conference on, vol. 00, no. , pp. 590-595, 2008, doi:10.1109/ICIW.2008.14
88 ms
(Ver 3.3 (11022016))