A Computational Logic Application Framework for Service Discovery and Contracting

Research output: Contribution to journalArticle

8 Citations (Scopus)

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.
Original languageUnknown
Pages (from-to)1-25
JournalInternational Journal Of Web Services Research
Volume8
Issue number3
DOIs
Publication statusPublished - 1 Jan 2011

Cite this

@article{4a691961a2504d158f3b3e5b798fa1f7,
title = "A Computational Logic Application Framework for Service Discovery and Contracting",
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.",
author = "Marco Alberti",
year = "2011",
month = "1",
day = "1",
doi = "10.4018/IJWSR.2011070101",
language = "Unknown",
volume = "8",
pages = "1--25",
journal = "International Journal Of Web Services Research",
issn = "1545-7362",
publisher = "IGI Global",
number = "3",

}

A Computational Logic Application Framework for Service Discovery and Contracting. / Alberti, Marco.

In: International Journal Of Web Services Research, Vol. 8, No. 3, 01.01.2011, p. 1-25.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A Computational Logic Application Framework for Service Discovery and Contracting

AU - Alberti, Marco

PY - 2011/1/1

Y1 - 2011/1/1

N2 - 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.

AB - 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.

U2 - 10.4018/IJWSR.2011070101

DO - 10.4018/IJWSR.2011070101

M3 - Article

VL - 8

SP - 1

EP - 25

JO - International Journal Of Web Services Research

JF - International Journal Of Web Services Research

SN - 1545-7362

IS - 3

ER -