Title :
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
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;
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
DOI :
10.1109/ICIW.2009.65
