Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Model Checking Command Dialogues Rolando Medellin, Katie Atkinson and Peter McBurney
 

Summary: Model Checking Command Dialogues
Rolando Medellin, Katie Atkinson and Peter McBurney
Department of Computer Science
University of Liverpool, UK
{medellin,katie,mcburney}@liverpool.ac.uk
Abstract
Verification that agent communication protocols have desir-
able properties or do not have undesirable properties is an
important issue in agent systems where agents intend to com-
municate using such protocols. In this paper we explore the
use of model checkers to verify properties of agent communi-
cation protocols, with these properties expressed as formulae
in temporal logic. We illustrate our approach using a recently-
proposed protocol for agent dialogues over commands, a pro-
tocol that permits the agents to present questions, challenges
and arguments for or against compliance with a command.
Keywords: agent communication, command dialogues, CDP,
interaction protocols, model checking, NuSMV.
Introduction
The last two decades have seen considerable research on

  

Source: Atkinson, Katie - Department of Computer Science, University of Liverpool
McBurney, Peter - Department of Computer Science, University of Liverpool

 

Collections: Computer Technologies and Information Sciences