A rigorous foundation for pattern based design models

Kim, Soon-Kyeong and Carrington, David (2005). A rigorous foundation for pattern based design models. In: H. Treharne, S. King, M. Henson and S. Schneider, ZB2005: Formal specification and development in Z and B. 4th International Conference of B and Z users, Guildford, United Kingdom, (242-261). 13-15 April 2005. doi:10.1007/11415787_15


Author Kim, Soon-Kyeong
Carrington, David
Title of paper A rigorous foundation for pattern based design models
Conference name 4th International Conference of B and Z users
Conference location Guildford, United Kingdom
Conference dates 13-15 April 2005
Proceedings title ZB2005: Formal specification and development in Z and B   Check publisher's open access policy
Journal name Lecture Notes in Computer Science   Check publisher's open access policy
Place of Publication Berlin, Germany
Publisher Springer
Publication Year 2005
Sub-type Fully published paper
DOI 10.1007/11415787_15
ISBN 3-540-25559-1
ISSN 6302-9743
Editor H. Treharne
S. King
M. Henson
S. Schneider
Volume 2005
Start page 242
End page 261
Total pages 20
Collection year 2005
Language eng
Abstract/Summary This paper presents a way to describe design patterns rigorously based on role concepts. Rigorous pattern descriptions are a key aspect for patterns to be used as rules for model evolution in the MDA context, for example. We formalize the role concepts commonly used in defining design patterns as a role metamodel using Object-Z. Given this role metamodel, individual design patterns are specified generically as a formal pattern role model using Object-Z. We also formalize the properties that must be captured in a class model when a design pattern is deployed. These properties are defined generically in terms of role bindings from a pattern role model to a class model. Our work provides a precise but abstract approach for pattern definition and also provides a precise basis for checking the validity of pattern usage in designs.
Subjects 280302 Software Engineering
700100 Computer Software and Services
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 2 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Thu, 23 Aug 2007, 21:02:14 EST