Published Articles >> Table of Contents >> Abstract

IEEE International Conference on Services Computing (SCC 2007)   pp. 98-105
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis
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

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCC.2007.22
Send link to a friend

Abstract
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. [4] 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 [14] of a given BPEL process. In this paper, we present a method to extract data flow 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.
Back to Top Additional Information
Citation:  Simon Moser, Axel Martens, Katharina Gorlach, Wolfram Amme, Artur Godlinski, "Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis," scc, pp. 98-105,  IEEE International Conference on Services Computing (SCC 2007),  2007