Sciweavers

EPEW
2005
Springer

Automatic Translation of WS-CDL Choreographies to Timed Automata

13 years 9 months ago
Automatic Translation of WS-CDL Choreographies to Timed Automata
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time restrictions. Our starting point are Web Services descriptions written in WSBPEL - WSCDL (XML-based description languages). These descriptions are then automatically translated into timed automata, and then, we use a well known tool that supports this formalism (UPPAAL) to simulate and analyse the system behaviour. As illustration we take a particular case study, an airline ticket reservation system.
Gregorio Díaz, Juan José Pardo, Mar&
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EPEW
Authors Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero
Comments (0)