The Community for Technology Leaders
RSS Icon
Subscribe
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, Gregorio Díaz, Valentín Valero, "Design and Verification of Web Services Compositions", ICIW, 2009, Internet and Web Applications and Services, International Conference on, Internet and Web Applications and Services, International Conference on 2009, pp. 395-400, doi:10.1109/ICIW.2009.65
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool