---
abstract: "This chapter considers the coordination aspect of large-scale dynamically-reconfigurable multi-agent systems in which agents cooperate to achieve a common goal. The agents reside on distributed nodes and collectively represent a distributed system capable of executing tasks that cannot be effectively executed by an individual node. The two key requirements to be met when designing such a system are scalability and reliability. Scalability ensures that a large number of agents can participate in computation\r\nwithout overwhelming the system management facilities and thus allows agents to join and leave the system without affecting its performance. Meeting the reliability requirement guarantees that the system has enough redundancy to transparently tolerate a number of node crashes and agent failures, and is therefore free from single points of failures. The Event B formal method is used to validate the design formally and to ensure system scalability and reliability."
accompaniment: []
book_title: 'Dependability and Computer Engineering: Concepts for Software-Intensive Systems'
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - ~
  - '"Alexei Iliasov" <Alexei.Iliasov@newcastle.ac.uk>'
  - alexander.romanovsky@ncl.ac.uk
creators_name:
  - family: Grotsev
    given: Denis
    honourific: ''
    lineage: ''
  - family: Iliasov
    given: Alexei
    honourific: ''
    lineage: ''
  - family: Romanovsky
    given: Alexander
    honourific: ''
    lineage: ''
data_type: ~
date: 2011
date_type: published
datestamp: 2011-08-02 10:53:00
department: ~
dir: disk0/00/00/03/18
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id:
  - ~
  - Kaisa.Sere@abo.fi
  - Elena.Troubitsyna@abo.fi
editors_name:
  - family: Petre
    given: Luigia
    honourific: ''
    lineage: ''
  - family: Sere
    given: Kaisa
    honourific: ''
    lineage: ''
  - family: Troubitsyna
    given: Elena
    honourific: ''
    lineage: ''
eprint_status: archive
eprintid: 318
event_dates: ~
event_location: ~
event_title: ~
event_type: ~
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/318/1/ComplimentaryContent%2Ddenis.pdf
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: ~
isbn: 'ISBN13: 9781609607470'
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2011-08-02 13:15:03
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: http://www.igi-global.com/bookstore/titledetails.aspx?titleid=49576
output_media: ~
pagerange: ~
pages: 17
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: ~
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: IGI Global
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 23
series: ~
skill_areas: []
source: ~
status_changed: 2011-08-02 13:15:03
subjects:
  - Event-Bsemantics
  - Refinement
  - deploy_method_comp
  - deploy_method_proof
  - deploy_method_reqevo
  - deploy_method_resil
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Formal Stepwise Development of Scalable and Reliable Multiagent Systems
type: book_section
userid: 7
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>