The arguments for using formal techniques in the construction of complex systems are reviewed, and the refinement and retrenchment techniques in particular are summarised. Coarse grained retrenchment, with its capacity to analyse and express system properties at various levels of granularity, is promoted as a laboratory for understanding emergent behaviour of complex systems.
Full paper : PDF 213K
@inproceedings(SS-WSCS04, author = "Richard Banach and Czeslaw Jeske and Simon Fraser and Richard Cross and Michael Poppleton and Susan Stepney and Steven King", title = "Approaching the Formal Design and Development of Complex Systems: The Retrenchment Position", crossref = "WSCS04" ) @proceedings(WSCS04, title = "Workshop on Software and Complex Systems, 9th IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, 14-16 April 2004", booktitle = "Workshop on Software and Complex Systems, 9th IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, 14-16 April 2004", year = 2004 )