Recognition and Verification of Design Patterns

Authors

Michael P. Plezbert, Washington University in St Louis
Ron K. Cytron, Washington University in St. LouisFollow

Document Type

Technical Report

Department

Computer Science and Engineering

Publication Date

2000-01-01

Filename

WUCS-00-01.PDF

Technical Report Number

WUCS-00-01

Abstract

In this paper we consider the automatic discovery of design (programming) patterns. While patterns have surfaced as an effective mechanism for authoring and understanding compelx software, popular languages lack facilities for direct specification of patterns or verification of pattern usage in program specifications. Static analysis for patterns is provably undecidable; we focus on discovery and verification of patterns by analyzing dynamic sequences of method calls on object. We show a proof-of-concept of our approach by presenting the results of analyzing a Java program for Iterator patterns.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7125QV1

Recommended Citation

Plezbert, Michael P. and Cytron, Ron K., "Recognition and Verification of Design Patterns" Report Number: WUCS-00-01 (2000). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/279