Verifying Agents' Conformance with Multiparty Protocols

Authors:
Laura Giordano;Alberto Martelli
Affiliations:
Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria;Dipartimento di Informatica, Università di Torino, Torino
Venue:
Computational Logic in Multi-Agent Systems
Year:
2009

Citing 15
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
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
A Product Version of Dynamic Linear Time Temporal Logic

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
A Social Semantics for Agent Communication Languages

Issues in Agent Communication
Conformance Checking for Models of Asynchronous Message Passing Software

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Conversation protocols: a formalism for specification and verification of reactive electronic services

Theoretical Computer Science - Implementation and application of automata
Tableau-based automata construction for dynamic linear time temporal logic*

Annals of Mathematics and Artificial Intelligence
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
Constitutive interoperability

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Towards verifying compliance in agent-based web service compositions

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
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
A priori conformance verification for guaranteeing interoperability in open environments

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
DecSerFlow: towards a truly declarative service flow language

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Producing compliant interactions: conformance, coverage, and interoperability

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Verification of protocol conformance and agent interoperability

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems

Producing enactable protocols in artificial agent societies

PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Exception diagnosis in multiagent contract executions

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles, which requires the agents to be interoperable and to produce correct executions of the protocol. We introduce conditions that enable each agent to be independently verified with respect to the protocol. We assume that protocols are specified in a temporal action theory and we show that the problem of verifying the conformance of an agent with a protocol can be solved by making use of automata based techniques. Protocols with nonterminating computations, modeling reactive agents, can also be captured in this framework.