Open AccessRefining Emergent Properties
Author(s) -
J. W. Sanders,
Graeme Smith
Publication year - 2009
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2009.12.026
Subject(s) - refining (metallurgy) , computer science , point (geometry) , isolation (microbiology) , theoretical computer science , glider , formal methods , distributed computing , programming language , mathematics , chemistry , geometry , microbiology and biotechnology , biology
ystems which exhibit emergent behaviour, i.e., behaviour not determined by the behaviours of the constituents when considered in isolation, are becoming more common due to increasing use of distributed and decentralised designs. There have been claims that formal methods, and particularly refinement, can not be used to derive systems with emergent behaviour. In this paper, however, we argue that they can. To prove the point, we perform a refinement of an oft-cited example of emergence: the ‘glider’ pattern from Conway's Game of Life
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom