The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a specific stage of web service location, called, by some authors, contracting. We address contracting both at the operational level and at the semantic level. We present a framework encompassing communication and reasoning, in which web services exchange and evaluate goals and policies. Policies represent behavioural interfaces. The reasoning procedure at the core of the framework is based on the abductive logic programming SCIFF proof-procedure. We describe the framework, show by examples how to formalise policies in the declarative language of SCIFF, and give the framework a model-theoretic and a sound proof-theoretic semantics.

M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, et al. (2007). Web Service Contracting: Specification and Reasoning with SCIFF.

Web Service Contracting: Specification and Reasoning with SCIFF

CHESANI, FEDERICO;MELLO, PAOLA;MONTALI, MARCO;TORRONI, PAOLO
2007

Abstract

The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a specific stage of web service location, called, by some authors, contracting. We address contracting both at the operational level and at the semantic level. We present a framework encompassing communication and reasoning, in which web services exchange and evaluate goals and policies. Policies represent behavioural interfaces. The reasoning procedure at the core of the framework is based on the abductive logic programming SCIFF proof-procedure. We describe the framework, show by examples how to formalise policies in the declarative language of SCIFF, and give the framework a model-theoretic and a sound proof-theoretic semantics.
2007
The Semantic Web: Research and Applications
68
83
M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, et al. (2007). Web Service Contracting: Specification and Reasoning with SCIFF.
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni.
File in questo prodotto:
Eventuali allegati, non sono esposti

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/11585/45886
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 4
social impact