W. Shin and C. Wu (Korea)
Design Patterns, Formal Specification, DPSL, UML
Design patterns 1
can be regarded as an approach to
encapsulating good design practices and to reusing them.
However, most of design patterns are specified using
informal text and examples. To use all of the benefits of
patterns, formal specification and tool support are
This paper examines the concepts and constituents of
design patterns, and proposes a DPSL (Design Pattern
Specification Language) that is able to represent them. To
apply patterns in the design modeling of UML, we
developed a prototype tool that supports DPSL in the
UML diagram. This prototype shows software engineers
the tool's support possibilities and the usability of patterns.