Reasoning About Interaction Protocols for Web Service Composition

Authors:
Matteo Baldoni;Cristina Baroglio;Alberto Martelli;Viviana Patti
Affiliations:
Dipartimento di Informatica, Università degli Studi di Torino, C.so Svizzera, 185, I-10149 Torino (Italy);Dipartimento di Informatica, Università degli Studi di Torino, C.so Svizzera, 185, I-10149 Torino (Italy);Dipartimento di Informatica, Università degli Studi di Torino, C.so Svizzera, 185, I-10149 Torino (Italy);Dipartimento di Informatica, Università degli Studi di Torino, C.so Svizzera, 185, I-10149 Torino (Italy)
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2004

Citing 8
Cited 5

Representing incomplete knowledge in abductive logic programming

ILPS '93 Proceedings of the 1993 international symposium on Logic programming
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Coordination for Internet Application Development

Autonomous Agents and Multi-Agent Systems
Specifying Communicative Multi-Agent Systems (Invited Paper)

Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Communication Protocols in Multi-agent Systems: A Development Method and Reference Architecture

Issues in Agent Communication
A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction

ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Programming Rational Agents in a Modal Action Logic

Annals of Mathematics and Artificial Intelligence

Obligation-Based Agent Conversations for Semantic Web Service Composition

WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Synthesis of web services orchestrators in a timed setting

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Integrating web service and semantic dialogue model for user models interoperability on the web

Journal of Intelligent Information Systems
Personalization for the semantic web

Proceedings of the First international conference on Reasoning Web
An obligation-based framework for web service composition via agent conversations

Web Intelligence and Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work, we face the problem of web service composition, arguing the importance of the inclusion, in a web service description, of the high-level communication protocol used by a service to interact with a client. The work is set in the same multi-agent research area from which DAML- S is derived: reasoning about actions and about the change produced by actions on the world. In this perspective web services are viewed as actions, either simple or complex, characterized by preconditions and effects. In our proposal, interaction is interpreted as the effect of communicative action execution, so that it can be reasoned about.