HEDGEHOG: Automatic Verification of Design Patterns in Java
dc.contributor.advisor
Bundy, Alan
en
dc.contributor.advisor
Stark, Ian
en
dc.contributor.author
Blewitt, Alex
en
dc.date.accessioned
2006-11-06T10:22:20Z
dc.date.available
2006-11-06T10:22:20Z
dc.date.issued
2006-11
dc.description
Centre for Intelligent Systems and their Applications
en
dc.description.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.
en
dc.format.extent
1741943 bytes
en
dc.format.mimetype
application/pdf
en
dc.identifier.uri
http://hdl.handle.net/1842/1459
dc.language.iso
en
dc.publisher
University of Edinburgh. College of Science and Engineering. School of Informatics.
en
dc.title
HEDGEHOG: Automatic Verification of Design Patterns in Java
en
dc.type
Thesis or Dissertation
en
dc.type.qualificationlevel
Doctoral
en
dc.type.qualificationname
PhD Doctor of Philosophy
en
Files
Original bundle
1 - 1 of 1
- Name:
- Blewitt_thesis.pdf
- Size:
- 1.66 MB
- Format:
- Adobe Portable Document Format
This item appears in the following Collection(s)