DSpace Welsh Repository Network Partner WRN Partners
  
 

Glamorgan DSpace >
University of Glamorgan >
Advanced Technology >
Computer Science >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10265/474

Title: Automated verification of multi-agent programs
Authors: Muller, Berndt
Issue Date: 23-Apr-2012
Citation: Bordini, R.H., Dennis, L.A., Farwer, B. and Fisher, M. (2008) 'Automated Verification of Multi-Agent Programs', 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, 15-19 September. : IEEE.
Abstract: In this paper, we show that the flexible model-checking of multi-agent systems, implemented using agent-oriented programming languages, is viable thus paving the way for the construction of verifiably correct applications of autonomous agents and multi-agent systems. Model checking experiments were carried out on AJPF (agent JPF), our extension of Java PathFinder that incorporates the agent infrastructure layer, our unifying framework for agent programming languages. In our approach, properties are specified in a temporal language extended with (shallow) agent-related modalities. The framework then allows the verification of programs written in a variety of agent programming languages, thus removing the need for individual languages to implement their own verification framework. It even allows the verification of multi-agent systems comprised of agents developed in a variety of different (agent) programming languages. As an example, we also provide model checking results for the verification of a multi-agent system implementing a well-known task sharing protocol.
URI: http://hdl.handle.net/10265/474
ISSN: 1527-1366
Appears in Collections:Computer Science

Files in This Item:

There are no files associated with this item.



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback