Assuring Adaptive Behaviour in Self-Organising Systems

	This Article
	Subscribers, please Login Purchase article: $19 PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by J. W. Sanders Articles by Graeme Smith

2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop

Budapest, Hungary

September 27-September 28

ISBN: 978-0-7695-4229-4

	ASCII Text	x
	J. W. Sanders, Graeme Smith, "Assuring Adaptive Behaviour in Self-Organising Systems," Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on, pp. 172-177, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop, 2010.

	BibTex	x
	@article{ 10.1109/SASOW.2010.36, author = {J. W. Sanders and Graeme Smith}, title = {Assuring Adaptive Behaviour in Self-Organising Systems}, journal ={Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on}, volume = {0}, year = {2010}, isbn = {978-0-7695-4229-4}, pages = {172-177}, doi = {http://doi.ieeecomputersociety.org/10.1109/SASOW.2010.36}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on TI - Assuring Adaptive Behaviour in Self-Organising Systems SN - 978-0-7695-4229-4 SP172 EP177 A1 - J. W. Sanders, A1 - Graeme Smith, PY - 2010 KW - adaptivity KW - self-organising KW - self-* KW - formal methods VL - 0 JA - Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on ER -

J. W. Sanders

Graeme Smith

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SASOW.2010.36

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.

Index Terms:

adaptivity, self-organising, self-*, formal methods

Citation:

J. W. Sanders, Graeme Smith, "Assuring Adaptive Behaviour in Self-Organising Systems," sasow, pp.172-177, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop, 2010

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.