Formal Specification of Design Patterns - A Balanced Approach

By: Toufik Taibi, David Chek Ling Ngo

Abstract

The main problem of existing formal specification languages for design patterns is lack of completeness. This is mainly due either because they were not originally conceived to specify design patterns and have been adapted to do so, or they tend to focus on specifying either the structural or behavioral aspect of design patterns but not both of them. We propose a simple yet balanced pattern specification language that is aimed to achieve equilibrium by specifying both aspects of design patterns.

Cite as:

Toufik Taibi, David Chek Ling Ngo, “Formal Specification of Design Patterns - A Balanced Approach”, Journal of Object Technology, Volume 2, no. 4 (July 2003), pp. 127-140, doi:10.5381/jot.2003.2.4.a4.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact