Welcome to the InfoSci Platform
Reference Hub4
A Computational Logic Application Framework for Service Discovery and Contracting

A Computational Logic Application Framework for Service Discovery and Contracting

Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
Copyright: © 2011 |Volume: 8 |Issue: 3 |Pages: 25
ISSN: 1545-7362|EISSN: 1546-5004|EISBN13: 9781613509739|DOI: 10.4018/jwsr.2011070101
Cite Article Cite Article

MLA

Alberti, Marco, et al. "A Computational Logic Application Framework for Service Discovery and Contracting." IJWSR vol.8, no.3 2011: pp.1-25. http://doi.org/10.4018/jwsr.2011070101

APA

Alberti, M., Cattafi, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., & Torroni, P. (2011). A Computational Logic Application Framework for Service Discovery and Contracting. International Journal of Web Services Research (IJWSR), 8(3), 1-25. http://doi.org/10.4018/jwsr.2011070101

Chicago

Alberti, Marco, et al. "A Computational Logic Application Framework for Service Discovery and Contracting," International Journal of Web Services Research (IJWSR) 8, no.3: 1-25. http://doi.org/10.4018/jwsr.2011070101

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.