AUML-basedpatternspecificationtechnique

AUML-basedpatternspecificationtechnique - IEEE TRANSACTIONS...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
A UML-Based Pattern Specification Technique Robert B. France, Member , IEEE Computer Society , Dae-Kyoo Kim, Student Member , IEEE , Sudipto Ghosh, Member , IEEE Computer Society , and Eunjee Song, Student Member , Abstract —Informally described design patterns are useful for communicating proven solutions for recurring design problems to developers, but they cannot be used as compliance points against which solutions that claim to conform to the patterns are checked. Pattern specification languages that utilize mathematical notation provide the needed formality, but often at the expense of usability. In this paper, we present a rigorous and practical technique for specifying pattern solutions expressed in the Unified Modeling Language (UML). The specification technique paves the way for the development of tools that support rigorous application of design patterns to UML design models. The technique has been used to create specifications of solutions for several popular design patterns. We illustrate the use of the technique by specifying observer and visitor pattern solutions. Index Terms —Design patterns, object-oriented models, pattern specification, UML. æ 1I NTRODUCTION A design pattern describes a family of solutions for a class of recurring design problems. Popular forms of design patterns consist of structured, informal descriptions of solutions for problems targeted by the patterns (e.g., see [1], [5], [17], [18]). The informal descriptions have proven to be effective at communicating design experience to devel- opers, but they lack the formality needed to support rigorous use of design patterns. Precise specification of pattern solutions enables the development of pattern-based development techniques and supporting tools that can be used to 1) systematically build solutions from pattern specifications (e.g., see [16]), 2) verify the presence of pattern solutions in designs (e.g., see [19]), and 3) system- atically incorporate a pattern solution into a design (e.g., see [4]). Formal pattern specification languages that utilize mathematical notation (e.g., see [2], [13]) provide the concepts needed to precisely describe pattern solutions, but using them requires sophisticated mathematical skills. Pattern specification languages that are based on familiar software modeling concepts are more likely to be usable by software developers. The pattern specification technique described in this paper supports rigorous specification of pattern solutions expressed in the UML. The UML is used for the following reasons: . The UML is considered to be the de facto standard for object-oriented modeling, and there is a rapidly growing UML user base in industry. In this context, work that supports rigorous application of design patterns to UML models is relevant.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 14

AUML-basedpatternspecificationtechnique - IEEE TRANSACTIONS...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online