Emergence and refinement

Sanders, J. W. and Smith, Graeme (2012) Emergence and refinement. Formal Aspects of Computing, 24 1: 45-65. doi:10.1007/s00165-011-0190-7

Author Sanders, J. W.
Smith, Graeme
Title Emergence and refinement
Journal name Formal Aspects of Computing   Check publisher's open access policy
ISSN 0934-5043
Publication date 2012-01
Year available 2011
Sub-type Article (original research)
DOI 10.1007/s00165-011-0190-7
Volume 24
Issue 1
Start page 45
End page 65
Total pages 21
Place of publication Guildford, Surrey, U.K.
Publisher Springer
Collection year 2012
Language eng
Formatted abstract
Emergent behaviour—system behaviour not determined by the behaviours of system components when considered in isolation—is commonplace in multi-agent systems, particularly when agents adapt to environmental change. This article considers the manner in which Formal Methods may be used to authenticate the trustworthiness of such systems. Techniques are considered for capturing emergent behaviour in the system specification and then the incremental refinement method is applied to justify design decisions embodied in an implementation. To demonstrate the approach, one and two-dimensional cellular automata are studied. In particular an incremental refinement of the ‘glider’ in Conway’s Game of Life is given from its specification.
Keyword Emergence
Cellular automata
Game of life
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ

Document type: Journal Article
Sub-type: Article (original research)
Collections: Official 2012 Collection
School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 7 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 8 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 20 Jan 2012, 12:31:38 EST by Graeme Smith on behalf of School of Information Technol and Elec Engineering