Automatic Verification of Java Design Patterns

DOI 10.1109/ase.2001.989821 dblp

Abstract

Design patterns are widely used by object oriented 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. We attempt to show that many design patterns (implemented in Java) can be verified automatically. Patterns are defined in terms of variants, mini-patterns, and artifacts 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.

BibTeX

@inproceedings{Blewitt-al:ASE01,
  author    = {Alex Blewitt and
               Alan Bundy and
               Ian Stark},
  title     = {Automatic Verification of Java Design Patterns},
  booktitle = {ASE},
  pages     = {324--327},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}

Automatic Verification of Java Design Patterns

Abstract

Related papers