Abstract
The paper addresses the problem of agents compatibility and their conformance to protocols. We assume that the specification of protocols is given in an action theory by means of temporal constraints and, in particular, communicative actions are defined in terms of their effects and preconditions on the social state of the protocol. We show that the problem of verifying the conformance of an agent with a protocol can be solved by making use of an automata based approach, and that the conformance of a set of agents with a protocol guarantees that their interaction cannot produce deadlock situations and it only gives rise to runs of the protocol. This research has been partially supported by the project PRIN 2005 "Specification and verification of agent interaction protocols".

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-115

BibTeX:

@inproceedings{REWERSE-RP-2007-115,
	author = {Laura Giordano and Alberto Martelli},
	title = {Verifying Agent Conformance with Protocols Specified},
	booktitle = {Proceedings of 10th Congress of the Italian Association for Artificial Intelligence: Artificial Intelligence and Human-Oriented Computing, Roma, Italy (10th--13th September 2007)},
	year = {2007},
	volume = {4733},
	organization = {AI*IA},
	series = {LNAI},
	pages = {145--156},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-115}
}