Automatic verification of design patterns in Java

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automatic verification of design patterns in Java

Full text

Pdf (260 KB)

Source

Automated Software Engineering archive
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering table of contents

Long Beach, CA, USA

SESSION: Validation and verification II table of contents

Pages: 224 - 232

Year of Publication: 2005

ISBN:1-59593-993-4

Authors

Alex Blewitt	University of Edinburgh, Edinburgh, UK
Alan Bundy	University of Edinburgh, Edinburgh, UK
Ian Stark	University of Edinburgh, Edinburgh, UK

Sponsors

ACM: Association for Computing Machinery
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 45, Downloads (12 Months): 180, Citation Count: 3

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1101908.1101943 What is a DOI?

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 requires specifying the original intent of the design pattern. Whilst informal descriptions of design patterns exist, no formal specifications are available due to differences in implementations between programming languages.We present a pattern specification language, Spine, that allows patterns to be defined in terms of constraints on their implementation in Java. We also present some examples of patterns defined in Spine and show how they are processed using a proof engine called Hedgehog.The conclusion discusses the type of patterns that are amenable to defining in Spine, and highlights some repeated mini-patterns discovered in the formalisation of these design patterns.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	A. Blewitt. A formal catalogue of design patterns. Technical Report Blue book note 1373, Division of Informatics, Edinburgh University, 7 2000.
	2	A. Blewitt. Hedgehog: Automatic Verification of Design Patterns in Java. PhD thesis, School of Informatics, University of Edinburgh, 2005. Unpublished PhD Thesis. http://www.bandlem.com/Alex/Papers/PhDThesis.pdf.
	3	Alex Blewitt , Alan Bundy , Ian Stark, Automatic Verification of Java Design Patterns, Proceedings of the 16th IEEE international conference on Automated software engineering, p.324, November 26-29, 2001
	4	Frank Buschmann , Regine Meunier , Hans Rohnert , Peter Sommerlad , Michael Stal, Pattern-oriented software architecture: a system of patterns, John Wiley & Sons, Inc., New York, NY, 1996
	5	Y. Cheon. A Runtime Assertion Checker for the Java Modeling Language. PhD thesis, Department of Computer Science, Iowa State University, April 2003.
	6	James O. Coplien , Douglas C. Schmidt, Pattern languages of program design, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1995
	7	D. Detlefs, K. R. Leino, G. Nelson, and J. Saxe. Extended static checking. Technical Report 159, Systems Research Center, Digital Equipment Corporation, December 1998.
	8	A. Eden. LePUS - a declarative pattern specification language. Technical report, Tel Aviv University, 1998. http://www.cs.concordia.ca/~faculty/eden/lepus/.
	9	A. Eden. Precise Specification of Design Patterns and Tool Support in Their Application. PhD thesis, Department of Computer Science, Tel Aviv University, 2000. http://www.eden-study.org.
	10	A. H. Eden , A. Yehudai , J. Gil, Precise specification and automatic application of design patterns, Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE), p.143, November 02-05, 1997
	11	D. Ehms. Patternbox eclipse tool. http://www.patternbox.com.
	12	Esc/Java 2. web. http://www.sos.cs.ru.nl/research/escjava/index.html.
	13	Cormac Flanagan , K. Rustan M. Leino , Mark Lillibridge , Greg Nelson , James B. Saxe , Raymie Stata, Extended static checking for Java, Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, June 17-19, 2002, Berlin, Germany
	14	Refactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
	15	M. Fowler and K. Scott. UML Distilled. Addison-Wesley Professional, September 2003.
	16	Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
	17	James Gosling , Bill Joy , Guy L. Steele, The Java Language Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
	18	D. Gruijs. A Framework of Concepts for Representing Object-Oriented Design and Design Patterns. PhD thesis, Department of Computer Science, Utrecht University, August 1998.
	19	B. P. F. Jacobs and E. Poll. A logic for the Java Modeling Language JML. Technical Report CSI-R0018, Computing Science Institute, University of Nijmegen, December 2000. http://www.cs.kun.nl/csi/reports/info/CSI-R0018.html.
	20	R. Kramer, iContract - The Java(tm) Design by Contract(tm) Tool, Proceedings of the Technology of Object-Oriented Languages and Systems, p.295, August 03-07, 1998
	21	K. R. M. Leino, G. Nelson, and J. B. Saxe. ESC/Java user's manual. Technical Report 2000-002, Compaq Systems Research Center, October 2000. http://gatekeeper.dec.com/pub/DEC/SRC/technical-notes/abstracts/src-tn-2000-002.html.
	22	M. Meijers. Tool support for object-oriented design patterns. Master's thesis, Utrecht University, 1996. INF-SCR-96-28.
	23	Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	24	B. Meyer. Design by Contract. Prentice Hall, 2002.
	25	M. Ó Cinnéide. Automated Application of Design Patterns: A Refactoring Approach. PhD thesis, University of Dublin, Trinity College, October 2000.
	26	William F. Opdyke, Refactoring object-oriented frameworks, University of Illinois at Urbana-Champaign, Champaign, IL, 1992
	27	Stephen A. Stelting , Olav Maassen-Van Leeuwen, Applied Java Patterns, Prentice Hall Professional Technical Reference, 2001
	28	D. Syme. Declarative Theorem Proving for Operational Semantics. PhD thesis, University of Cambridge, Computer Laboratory, 1998.
	29	Lance Aiji Tokuda , Don S. Batory, Evolving object-oriented designs with refactorings, 1999
	30	Lance Tokuda , Don Batory, Evolving Object-Oriented Designs with Refactorings, Automated Software Engineering, v.8 n.1, p.89-120, January 2001 [doi>10.1023/A:1008715808855 ]
	31	John Vlissides, Pattern hatching: design patterns applied, Addison-Wesley Longman Ltd., Essex, UK, 1998

CITED BY 3

	Michael Eichberg , Sven Kloppenburg , Karl Klose , Mira Mezini, Defining and continuous checking of structural program dependencies, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Alexandar Pantaleev , Atanas Rountev, Identifying Data Transfer Objects in EJB Applications, Proceedings of the 5th International Workshop on Dynamic Analysis, p.5, May 20-26, 2007
	Macneil Shonle , William G. Griswold , Sorin Lerner, Beyond refactoring: a framework for modular maintenance of crosscutting design idioms, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia