Internet and Web Applications and Services, International Conference on (2009)
May 24, 2009 to May 28, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICIW.2009.65
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.
Web Services, WS-CDL, Verification, Choreography, UPPAAL, Timed Automata, Simulation
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