Emergent Properties Do Not Refine

TY - JOUR

T1 - Emergent Properties Do Not Refine

AU - Polack, Fiona

AU - Stepney, Susan

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

U2 - 10.1016/j.entcs.2005.04.030

DO - 10.1016/j.entcs.2005.04.030

M3 - Article

VL - 137

SP - 163

EP - 181

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 2

ER -