Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis
IEEE International Conference on Services Computing (SCC 2007) (2007)
Salt Lake City, Utah, USA
July 9, 2007 to July 13, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCC.2007.22
Simon Moser , IBM Software Group / IBM Research
Axel Martens , IBM Software Group / IBM Research
Katharina Gorlach , IBM Software Group / IBM Research
Wolfram Amme , Friedrich-Schiller-University Jena, Germany
Artur Godlinski , Friedrich-Schiller-University Jena, Germany
The Business Process Execution Language for Web Services WS-BPEL provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their provided functionality as BPEL processes and compose them. Verifying such distributed web service based systems has been a huge topic in the research community lately–cf. for a good overview. However, in most of the work on analyzing properties of interacting Web Services, especially when backed by stateful implementations like WS-BPEL, the data flow present in the implementation is widely neglected, and the analysis focusses on control flow only. This might lead to false-positive analysis results when searching for design weaknesses and errors, e. g. analyzing the controllability  of a given BPEL process. In this paper, we present a method to extract dataflow information by constructing a CSSA representation and detecting data dependencies that effect communication behavior. Those discovered dependencies are used to construct a more precise formal model of the given BPEL process and hence to improve the quality of analysis results.
business data processing, data flow analysis, program verification, Web services
S. Moser, A. Martens, K. Gorlach, W. Amme and A. Godlinski, "Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis," IEEE International Conference on Services Computing (SCC 2007)(SCC), Salt Lake City, Utah, USA, 2008, pp. 98-105.