Model Checking Agent Dialogues
Walton, Dr Christopher (2004) Model Checking Agent Dialogues. Second Workshop on Declarative Agent Languages and Technologies (DALT'04), New York, USA.
Full text available as:
 | PDF - Requires Adobe Acrobat Reader or other PDF viewer. |
In this paper we address the challenges associated with the verification of correctness of communication between agents in Multi-Agent Systems. Our approach applies model-checking techniques to protocols which express interactions between a group of agents in the form of a dialogue. We define a lightweight protocol language which can express a wide range of dialogue types, and we use the SPIN model checker to verify properties of this language. Our early results show this approach has a high success rate in the detection of failures in agent dialogues.
| Keywords: | multiagent systems, dialogue protocols, model checking |
|---|---|
| Subjects: | Status > AKT Submitted |
| ID Code: | 345 |
| Deposited By: | Walton, Dr Chris |
| Deposited On: | 30 June 2004 |
| Alternative Locations: | http://centria.di.fct.unl.pt/~jleite/dalt04/docs/29-walton.pdf |
Contact the site administrator at: hg@ecs.soton.ac.uk