Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/20486
Title: Precise modeling of design patterns in UML
Authors: Mak, J
Choy, C 
Lun, D 
Keywords: Computer aided software engineering
Formal specification
Object-oriented programming
Program verification
Specification languages
Issue Date: 2004
Publisher: IEEE
Source: 26th International Conference on Software Engineering, 2004 : ICSE 2004 : proceedings :23-28 May 2004, p. 252-261 How to cite?
Abstract: Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be developed for user-defined design patterns in the future CASE tools. Targeting to a particular type of automation (e.g. verification of pattern instances), previous specification approaches over-specify pattern structures to a certain extend. Over-specification makes pattern specification ambiguous and disallows the specification language to be used for specifying compound patterns. In this paper, we present the structural properties of design patterns which reveal the true abstract nature of pattern structures. To support these properties so as to solve the over-specification problem, we propose an extension to UML 1.5 (basically UML 1.4 with Action semantics). The specialization and refining mechanism of UML provides also a smooth support for the instantiation, refinement and integration of pattern structures specified in UML. Our work makes no significant extension to the UML 1.5 meta-model but more in a UML Profile approach to ease the migration of our work to UML 2.0, which has not yet officially released by OMG during this work.
URI: http://hdl.handle.net/10397/20486
ISBN: 0-7695-2163-0
ISSN: 0270-5257
DOI: 10.1109/ICSE.2004.1317447
Appears in Collections:Conference Paper

Access
View full-text via PolyU eLinks SFX Query
Show full item record

WEB OF SCIENCETM
Citations

32
Last Week
0
Last month
1
Citations as of Aug 15, 2017

Page view(s)

40
Last Week
2
Last month
Checked on Aug 14, 2017

Google ScholarTM

Check

Altmetric



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.