Assuring Adaptive Behaviour in Self-Organising Systems

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.