The Community for Technology Leaders
Internet and Web Applications and Services, International Conference on (2009)
Venice/Mestre, Italy
May 24, 2009 to May 28, 2009
ISBN: 978-0-7695-3613-2
pp: 395-400
ABSTRACT
In this work we explain how to perform the design and verification of a Web Services composition with time restrictions using the Web Services Translation tool, WST for short. We pay special attention to Web Services systems with timing restrictions. As illustration, we use a case study called “Form Generator Service”, a system that allows developers to manage a form repository by means of several Web Services. We show how to design this system and the verification of some properties on it, using a Timed Automata representation.
INDEX TERMS
Web Services, WS-CDL, Verification, Choreography, UPPAAL, Timed Automata, Simulation
CITATION
Enrique Martínez, María Emilia Cambronero, Valentín Valero, Gregorio Díaz, "Design and Verification of Web Services Compositions", Internet and Web Applications and Services, International Conference on, vol. 00, no. , pp. 395-400, 2009, doi:10.1109/ICIW.2009.65
100 ms
(Ver )