University of Surrey

Test tubes in the lab Research in the ATI Dance Research

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.


Download (250Kb)


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
Related URLs:
Divisions: Faculty of Engineering and Physical Sciences > Computing Science
Depositing User: Mr Adam Field
Date Deposited: 27 May 2010 14:46
Last Modified: 23 Sep 2013 18:36

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800