The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28928
Record Status Checked
Record Id 28928
Title Formalising Design Patterns
Abstract This paper shows that various design patterns [5] can be formally proved to be refinement transformations, using a version of the Object Calculus [4] as a semantic framework. We also make explicit the conditions under which these transformations are formally correct. We give some additional design pattern transformations which have been termed "annealing" in the VDM++ world, which include the introduction of concurrent execution into an initially sequential system. We show that these design patterns can be classified on the basis of a smaller set of fundamental transformations which correspond to techniques used in the proof of their correctness.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Proceedings of the 1st BCS-FACS conference on Northern Formal Methods (1FACS'96), British Computer Society Swinton, UK, 1997, (1997). doi:10.14236/ewic/FA1996.11 1997