Refinement is conventionally used to effect a demonstrably-correct development from an abstract specification. Emergent systems present an interesting challenge in terms of demonstrably-correct development, because there is a discontinuity between the global and local system descriptions. This is a position paper, exploring some aspects of the challenge in relation to the traditional model of refinement.
full paper : PDF 266K | doi: 10.1016/j.entcs.2005.04.030
@inproceedings(SS-REFINE05, author = "Fiona Polack and Susan Stepney", title = "Emergent Properties do not Refine", pages = "163--181", crossref = "REFINE05" ) @proceedings(REFINE05, title = "REFINE 2005 Workshop, Guildford, UK, April 2005", booktitle = "REFINE 2005 Workshop, Guildford, UK, April 2005", series = "ENTCS", volume = 137, number = 2, publisher = "Elsevier", year = 2005 )