By Topic

Transforming BPEL into Intermediate Format Language for Web Services Composition Testing

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Lallali, M. ; TELECOM SudParis, CNRS, Evry ; Zaidi, F. ; Cavalli, A.

BPEL is a standard language for Web services composition. To test a composite Web service, the design of a formal model is very useful, because it facilitates the application and the automatization of test generation methods. In this paper, we propose a transformation procedure of the BPEL specification into an Intermediate Format (IF) model that is based on timed automata. This IF format is well adapted to model BPEL (timed) constructs and to handle faults, events, termination, message correlation and activities synchronization. The proposed transformation was implemented in the BPEL2IF tool, which is also presented in this paper.

Published in:

Next Generation Web Services Practices, 2008. NWESP '08. 4th International Conference on

Date of Conference:

20-22 Oct. 2008