The Community for Technology Leaders
2013 IEEE 20th International Conference on Web Services (2007)
Salt Lake City, Utah, USA
July 9, 2007 to July 13, 2007
ISBN: 0-7695-2924-0
pp: 663-670
Domenico Bianculli , University of Lugano
Sam Guinea , Politecnico di Milano
Carlo Ghezzi , Politecnico di Milano
Paola Spoletini , Politecnico di Milano
Luciano Baresi , Politecnico di Milano
Web service based applications are expected to live in dynamically evolving settings. At run-time, services may undergo changes that could modify their expected behavior. Because of such intrinsic dynamic nature, applications should be designed by adhering to the principles of designby- contract. Run-time monitoring is needed to check that the contract between service providers and service users is fulfilled while the collaboration is in place. We describe a language to specify the expected functional and nonfunctional requirements that a service provider should fulfill. The language (Timed WSCoL) is a temporal extension of a previous proposal (WSCoL). We also illustrate the architecture of a run-time analyzer that checks Timed WSCoL properties. Should such properties be disproved during execution, appropriate recovery and reconfiguration actions may be put in place.
Domenico Bianculli, Sam Guinea, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, "A Timed Extension of WSCoL", 2013 IEEE 20th International Conference on Web Services, vol. 00, no. , pp. 663-670, 2007, doi:10.1109/ICWS.2007.25
94 ms
(Ver 3.3 (11022016))