Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Edinburgh Research Archive >
Informatics, School of >
Informatics thesis and dissertation collection >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1842/1459

This item has been viewed 88 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
Blewitt_thesis.pdf1.7 MBAdobe PDFView/Open
Title: HEDGEHOG: Automatic Verification of Design Patterns in Java
Authors: Blewitt, Alex
Supervisor(s): Bundy, Alan
Stark, Ian
Issue Date: Nov-2006
Publisher: University of Edinburgh. College of Science and Engineering. School of Informatics.
Abstract: Design patterns are widely used by designers and developers for building complex systems in object-oriented programming languages such as Java. However, systems evolve over time, increasing the chance that the pattern in its original form will be broken. To verify that a design pattern has not been broken involves specifying the original intent of the design pattern. Whilst informal descriptions of patterns exist, no formal specifications are available due to differences in implementations between programming languages. This thesis shows that many patterns (implemented in Java) can be verified automatically. Patterns are defined in terms of variants, mini-patterns, and artefacts in a pattern description language called SPINE. These specifications are then processed by HEDGEHOG, an automated proof tool that attempts to prove that Java source code meets these specifications.
Description: Centre for Intelligent Systems and their Applications
URI: http://hdl.handle.net/1842/1459
Appears in Collections:Informatics thesis and dissertation collection

Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy