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
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;
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
DOI :
10.1109/SASOW.2010.36
