Analysis of BPEL Data Dependencies

10 years 4 months ago
Analysis of BPEL Data Dependencies
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The current formal semantics proposed for BPEL can be categorized under three branches: Process Algebra, Petrinets, and Automata. Our goal is to automate the generation and execution of test cases for composed web services. Model checking is an effective technique for automated test generation, and most mature model checkers such as SPIN and NuSMV use automata as the underlying formal model. Hence, we follow the automata branch. Unfortunately, the current automata based approaches omit the BPEL data dependencies. In order to address this shortcoming, we demonstrate how to model BPEL data dependencies in our proposed web service automata.
Yongyan Zheng, Jiong Zhou, Paul Krause
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2007
Authors Yongyan Zheng, Jiong Zhou, Paul Krause
Comments (0)