The University of Southampton
University of Southampton Institutional Repository

An Incremental Process for the Development of Multi-agent Systems in Event-B

Ball, Elisabeth (2008) An Incremental Process for the Development of Multi-agent Systems in Event-B University of Southampton, School of Electronics and Computer Science, Doctoral Thesis .

Record type: Thesis (Doctoral)


A multi-agent system is a group of software or hardware agents that cooperate or compete to achieve individual or shared goals. A method for developing a multi-agent system must be capable of modelling the concepts that are central to multi-agent systems. These concepts are identified in a review of Agent Oriented Software Engineering methodologies. The rigorous development of complex systems using formal methods can reduce the number of design faults. Event-B is a formal method for modelling and reasoning about reactive and distributed systems. There is currently no method that guides the developer specifically in the modelling of agent-based concepts in Event-B. The use of formal methods is seen by some developers as inaccessible. This thesis presents an Incremental Development Process for the development of multi-agent systems in Event-B. Development following the Incremental Development Process begins with the construction of informal models, based on agent concepts. The informal models relate system goals using a set of relationships. The developer is provided with guidance to construct formal Event-B models based on the informal design. The concepts that are central to multi-agent systems are captured in the Event-B models through the translation from the goal models. The Event-B models are refined and decomposed into specifications of roles that will be performed by the agents of the system. Two case studies illustrate how the Incremental Development Process can be applied to multi-agent systems. An additional aid to the developer presented in this thesis is a set of modelling patterns that provide fault-tolerance for Event-B models of interacting agents.

PDF thesis.pdf - Author's Original
Download (1MB)

More information

Accepted/In Press date: August 2008
Organisations: University of Southampton, Electronics & Computer Science


Local EPrints ID: 266575
PURE UUID: eab084a1-3083-4d14-8138-97a42ebda0ae

Catalogue record

Date deposited: 15 Aug 2008 09:45
Last modified: 18 Jul 2017 07:15

Export record


Author: Elisabeth Ball

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.