Formal Specification of Design Patterns

Design patterns indicate the efficient solutions to common re-occurring problems in software engineering that have been cataloged for the benefit of object-oriented (OO) architecture and design. Patterns are becoming omni-present in the area of OO design. However, a detailed analysis of appropriate specification methods to represent patterns has not been made so far. This project aims at:

People:

Communications, Reports, & Publications:

William Higdon, "Formal Representation of Distributed Computing Patterns with LePUS", MS Project, CIS Department, IUPUI, May 2003.

Sivakumar Chinnasamy, Rajeev R. Raje. "eLePUS -- A Language for Specification of Software Design Patterns", Proceedings of ACM SAC'2001.

Sivakumar Chinnasamy, "ELePUS: Extended Language for Pattern Uniform Specification", MS Thesis, CIS Department, IUPUI, August 2000.

Sivakumar Chinnasamy, Rajeev R. Raje, Zhiqing Liu. "Specification of Design Patterns: An Analysis", Proceedings of Conference on Advanced Computing (ADCOMP'99).

Sivakumar Chinnasamy, Yi Dai. "Formalization of Design Patterns: A Survey", Technical report at the Department of Computer and Information Science, IUPUI.

This page is maintained by the DCS research group at IUPUI. If you have any comments or suggestions feel free to email us at rraje@cs.iupui.edu.