The Community for Technology Leaders
RSS Icon
Salt Lake City, Utah, USA
July 9, 2007 to July 13, 2007
ISBN: 0-7695-2924-0
pp: 663-670
Luciano Baresi , Politecnico di Milano
Domenico Bianculli , University of Lugano
Carlo Ghezzi , Politecnico di Milano
Sam Guinea , Politecnico di Milano
Paola Spoletini , 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.
Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini, "A Timed Extension of WSCoL", ICWS, 2007, 2013 IEEE 20th International Conference on Web Services, 2013 IEEE 20th International Conference on Web Services 2007, pp. 663-670, doi:10.1109/ICWS.2007.25
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool