This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 Fourth International Conference on Internet and Web Applications and Services
Design and Verification of Web Services Compositions
Venice/Mestre, Italy
May 24-May 28
ISBN: 978-0-7695-3613-2
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, pp.395-400, 2009 Fourth International Conference on Internet and Web Applications and Services, 2009
Usage of this product signifies your acceptance of the Terms of Use.