Reasoning about web services in a temporal action logic

Authors:
Alberto Martelli;Laura Giordano
Affiliations:
Dipartimento di Informatica, Università di Torino, Torino;Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria
Venue:
Reasoning, Action and Interaction in AI Theories and Systems
Year:
2006

Citing 16
Cited 2

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Simulation, verification and automated composition of web services

Proceedings of the 11th international conference on World Wide Web
Flexible protocol specification and execution: applying event calculus planning using commitments

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Agent Communication Languages: Rethinking the Principles

Computer
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
What Is a Conversation Policy?

Issues in Agent Communication
Issues in Agent Communication: An Introduction

Issues in Agent Communication
A Social Semantics for Agent Communication Languages

Issues in Agent Communication
Planning with a language for extended goals

Eighteenth national conference on Artificial intelligence
Defining interaction protocols using a commitment-based agent communication language

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Commitment-based and dialogue-game-based protocols: new trends in agent communication languages

The Knowledge Engineering Review
Synthesis of underspecified composite e-services based on automated reasoning

Proceedings of the 2nd international conference on Service oriented computing
Tableau-based automata construction for dynamic linear time temporal logic*

Annals of Mathematics and Artificial Intelligence
Planning as model checking for extended goals in non-deterministic domains

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Automated composition of web services by planning at the knowledge level

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Specialization of Interaction Protocols in a Temporal Action Logic

Electronic Notes in Theoretical Computer Science (ENTCS)

Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic

AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Discovering Semantic Web services using SPARQL and intelligent agents

Web Semantics: Science, Services and Agents on the World Wide Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory based on a dynamic, linear-time, temporal logic. The proposed framework is based on a social approach to agent communication, where the effects of communicative actions allow changes in the social state, and interaction protocols are defined in terms of the creation and fulfillment of commitments and permissions among the agents. We show how to introduce epistemic operators in the action theory to deal with incomplete information, and we address the problem of verifying properties of Web services, as well as the problem of reasoning about the composition of Web services.