DocumentCode
2734160
Title
Assuring Adaptive Behaviour in Self-Organising Systems
Author
Sanders, J.W. ; Smith, Graeme
Author_Institution
Int. Inst. for Software Technol., United Nations Univ., Macao, China
fYear
2010
fDate
27-28 Sept. 2010
Firstpage
172
Lastpage
177
Abstract
The important notion of adaptivity of a distributed information system is formalised, extending Dijkstra´s idea of self stabilisation. The formalisation quantifies the extent to which a system adapts, enabling degrees of adaptivity to be specified and hence assured in an implementation. The ideas are expressed without commitment to any particular formal notation and demonstrated on a cluster formation algorithm for mobile ad hoc networks.
Keywords
distributed processing; fault tolerant computing; formal specification; mobile ad hoc networks; multi-agent systems; pattern clustering; self-adjusting systems; Dijkstra´s idea of self stabilisation; adaptive behaviour; cluster formation; distributed information system; mobile ad hoc network; self stabilisation; self-organising system; Ad hoc networks; Clustering algorithms; Mobile computing; Multiagent systems; Routing protocols; Semantics; adaptivity; formal methods; self-*; self-organising;
fLanguage
English
Publisher
ieee
Conference_Titel
Self-Adaptive and Self-Organizing Systems Workshop (SASOW), 2010 Fourth IEEE International Conference on
Conference_Location
Budapest
Print_ISBN
978-1-4244-8684-7
Type
conf
DOI
10.1109/SASOW.2010.36
Filename
5729617
Link To Document