Verifying the Conformance of Agents 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:
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Year:
2008

Citing 3
Cited 0

A Product Version of Dynamic Linear Time Temporal Logic

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Conformance Checking for Models of Asynchronous Message Passing Software

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Verification of protocol conformance and agent interoperability

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper defines a notion of conformance of a set of k agents with a multiparty protocol with k roles, requiring the agents to be interoperable and to produce correct executions of the protocol. Conditions are introduced that enable each agent to be independently verified with respect to the protocol.