A Computational Logic Application Framework for Service Discovery and Contracting

  • Authors:

  • Paolo Torroni;Federico Chesani;Marco Gavanelli;Marco Alberti;Massimiliano Cattafi;Evelina Lamma;Paola Mello;Marco Montali

  • Affiliations:

  • University of Bologna, Italy;University of Bologna, Italy;University of Ferrara, Italy;New University of Lisbon, Portugal;University of Ferrara, Italy;University of Ferrara, Italy;University of Bologna, Italy;Free University of Bozen-Bolzano, Italy

  • Venue:
  • International Journal of Web Services Research
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

In Semantic Web technologies, searching for a service means identifying components that can potentially satisfy user needs in terms of inputs and outputs discovery and devise a fruitful interaction with the customer contracting. In this paper, the authors present an application framework that encompasses both the discovery and the contracting steps in a unified search process. In particular, the authors accommodate service discovery by ontology-based reasoning and contracting by reasoning about behavioural interfaces, published in a formal language. To this purpose, the authors consider a formal approach grounded on Computational Logic. They define, illustrate, and evaluate a framework, called SCIFF Reasoning Engine SRE, which can establish if a Semantic Web Service and a requester can fruitfully inter-operate, by computing a possible interaction plan based on the behavioural interfaces of both. The same operational machinery used for contracting can be used for runtime verification.