Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge

This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-based agent-oriented programming language AgentSpeak into either Promela or Java, and then use the associated Spin and JPF model checkers to verify the resulting systems. We also describe the simplified BDI logical language that is used to write the properties we want the systems to satisfy. The approach is illustrated by means of a simple case study.

(keywords) Agent-oriented programming - AgentSpeak - Model checking - Spin - JPF
Autonomous Agents and Multi-Agent Systems 12(2), pages 239-256, 2006, Springer
EUMAS'04 Special Issue
@article{bordini-jaamas12,
Author = {Bordini, Rafael H. and Fisher, Michael and Visser, Willem and Wooldridge, Michael J.},
Doi = {10.1007/s10458-006-5955-7},
Issn = {1387-2532},
Journal = {Autonomous Agents and Multi-Agent Systems},
Note = {{EUMAS}'04 Special Issue},
Number = 2,
Pages = {239--256},
Publisher = {Springer},
Series = {LNCS},
Title = {Verifying Multi-agent Programs by Model Checking},
Url = {http://www.springerlink.com/content/9130gm1003u756t3/},
Volume = 12,
Year = 2006}

Tags:
    

Publication

Verifying Multi-agent Programs by Model Checking

— status

published  

— authors

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge

URLs & IDs

original page
original PDF

— DOI

10.1007/s10458-006-5955-7

— print ISSN

1387-2532

BibTeX

— BibTeX ID
bordini-jaamas12
— BibTeX category
article

APICe

— journal/series
J.AAMAS

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY