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. © 2005 Elsevier B.V. All rights reserved.
CITATION STYLE
Polack, F., & Stepney, S. (2005). Emergent properties do not refine. In Electronic Notes in Theoretical Computer Science (Vol. 137, pp. 163–181). https://doi.org/10.1016/j.entcs.2005.04.030
Mendeley helps you to discover research relevant for your work.