Analysis of BPEL data dependencies
Zheng, Y, Zhou, J, Krause, P, Muller, P, Liggesmeyer, P and Maehle, E (2007) Analysis of BPEL data dependencies In: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, 2007-08-27 - 2007-08-31, Lubeck, GERMANY.
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, Petri- nets, 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.
|Item Type:||Conference or Workshop Item (UNSPECIFIED)|
|Uncontrolled Keywords:||Science & Technology, Technology, Computer Science, Software Engineering, Telecommunications, Computer Science, BPEL, finite state machine, data dependencies, data flow analysis|
|Divisions:||Faculty of Engineering and Physical Sciences > Computing Science|
|Deposited By:||Mr Adam Field|
|Deposited On:||27 May 2010 15:46|
|Last Modified:||16 Feb 2013 15:37|
Repository Staff Only: item control page