ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
Full Record Details
Persistent URL
http://purl.org/net/epubs/work/28928
Record Status
Checked
Record Id
28928
Title
Formalising Design Patterns
Contributors
K Lano
,
J C Bicarregui
,
S Goldsack
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
Keywords
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar