Design and Verification of Web Services Compositions

Author

Martinez, E. ; Cambronero, María Emilia ; Diaz, Gabriel ; Valero, Valentín

Author_Institution

Dept. de Sist. Informaticos, Univ. de Castilla-La Mancha, Albacete

fYear

2009

fDate

24-28 May 2009

Firstpage

395

Lastpage

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 ldquoform generator servicerdquo, 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.

Keywords

Unified Modeling Language; Web services; automata theory; formal specification; formal verification; systems analysis; UML; Web service composition design; Web service composition verification; Web service translation tool; form generator service; formal specification; time restriction; timed automata representation; Automata; Costs; Delay; Natural languages; Phase detection; Protocols; Timing; Unified modeling language; Web and internet services; Web services; Choreography; Simulation; Timed Automata; UPPAAL; Verification; WS-CDL; Web Services;

fLanguage

English

Publisher

ieee

Conference_Titel

Internet and Web Applications and Services, 2009. ICIW '09. Fourth International Conference on

Conference_Location

Venice/Mestre

Print_ISBN

978-1-4244-3851-8

Electronic_ISBN

978-0-7695-3613-2

Type

conf

DOI

10.1109/ICIW.2009.65

Filename

5072550