Tech Reports

ULCS-09-002

Modular Multi-Agent Design

Michael Fisher, Louise Dennis and Anthony Hepple


Abstract

In this paper our aim is to bring together formal specification, automated verification, dynamic agent organisations, and visual modelling in order to provide a simple, but semantically coherent, framework for designing and developing multi-agent systems.

[Full Paper]