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 design-by-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 non-functional requirements that a service provider should fulfill. The language (Timed WSCoL) is a temporal extension of a previous proposal (WSCoL). We also illustrate the ar- chitecture of a run-time analyzer that checks Timed WSCoL properties. Should such properties be disproved during ex- ecution, appropriate recovery and reconfiguration actions may be put in place.

A timed extension of WSCoL

SPOLETINI, PAOLA
2007-01-01

Abstract

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 design-by-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 non-functional requirements that a service provider should fulfill. The language (Timed WSCoL) is a temporal extension of a previous proposal (WSCoL). We also illustrate the ar- chitecture of a run-time analyzer that checks Timed WSCoL properties. Should such properties be disproved during ex- ecution, appropriate recovery and reconfiguration actions may be put in place.
2007
0769529240
IEEE International Conference on Web Services (ICWS2007)
Salt Lake City, Utah, USA
9-13 Luglio 2007
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/18811
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 27
  • ???jsp.display-item.citation.isi??? 19
social impact