Web Service Contracting: Specification and Reasoning with SCIFF

Authors:
Marco Alberti;Federico Chesani;Marco Gavanelli;Evelina Lamma;Paola Mello;Marco Montali;Paolo Torroni
Affiliations:
ENDIF, University of Ferrara, Via Saragat 1, 44100 Ferrara, Italy;DEIS, University of Bologna, V.le Risorgimento 2, 40136 Bologna, Italy;ENDIF, University of Ferrara, Via Saragat 1, 44100 Ferrara, Italy;ENDIF, University of Ferrara, Via Saragat 1, 44100 Ferrara, Italy;DEIS, University of Bologna, V.le Risorgimento 2, 40136 Bologna, Italy;DEIS, University of Bologna, V.le Risorgimento 2, 40136 Bologna, Italy;DEIS, University of Bologna, V.le Risorgimento 2, 40136 Bologna, Italy
Venue:
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Year:
2007

Citing 9
Cited 3

From logic programming towards multi-agent systems

Annals of Mathematics and Artificial Intelligence
Semantic Web Services

IEEE Intelligent Systems
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions

WWW '03 Proceedings of the 12th international conference on World Wide Web
An abductive framework for a-priori verification of web services

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Mapping deontic operators to abductive expectations

Computational & Mathematical Organization Theory
Verifiable agent interaction in abductive logic programming: The SCIFF framework

ACM Transactions on Computational Logic (TOCL)
Web Service Modeling Ontology

Applied Ontology
Extending the sweetdeal approach for e-procurement using sweetrules and RuleML

RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
A semantic web based architecture for e-contracts in defeasible logic

RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web

A rule-based approach for reasoning about collaboration between smart web services

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
A Computational Logic Application Framework for Service Discovery and Contracting

International Journal of Web Services Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.