A Computational Logic Application Framework for Service Discovery and Contracting

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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:International journal of web services research Ročník 8; číslo 3; s. 1 - 25
Hlavní autori: Torroni, Paolo, Chesani, Federico, Gavanelli, Marco, Alberti, Marco, Cattafi, Massimiliano, Lamma, Evelina, Mello, Paola, Montali, Marco
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Hershey IGI Global 01.07.2011
Predmet:
Computer programming
Contracting
Discovery
Frame analysis
Interfaces
Interoperability
Logic
Machinery
Ontology
Reasoning
Reasoning programs
Search process
Semantic web
Semantics
Verification
Web services
Writers
Italy
ISSN:1545-7362, 1546-5004
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
ISSN:1545-7362
1546-5004
DOI:10.4018/jwsr.2011070101