Contracting for dynamic location of web services: specification and reasoning with SCIFF
A paper written by Paolo Torroni, Marco Gavanelli, Federico Chesani, Marco Montali, Paola Mello, Marco Alberti and Evelina Lamma. It was presented at the ESWC2007. It is about Computational Logics, Abductive Logic Programming, Web Services specification and reasoning, Dynamic Location of Web Services and Contracting
|The paper is available online at|
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.
This data has been imported from the ESWC2007 RDF