Using integrated metamodeling to define OO design patterns with object-z and UML

Kim, S. and Carrington, D. A. (2004). Using integrated metamodeling to define OO design patterns with object-z and UML. In: D. Bae and W. Chu, Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004). 11th Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, (257-264). 30 November-3 December 2004. doi:10.1109/APSEC.2004.108


Author Kim, S.
Carrington, D. A.
Title of paper Using integrated metamodeling to define OO design patterns with object-z and UML
Conference name 11th Asia-Pacific Software Engineering Conference (APSEC 2004)
Conference location Busan, Korea
Conference dates 30 November-3 December 2004
Proceedings title Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004)
Journal name Proceedings - Asia-Pacific Software Engineering Conference, APSEC
Place of Publication Los Alamitos, California, U.S.A.
Publisher IEEE Computer Society
Publication Year 2004
Sub-type Fully published paper
DOI 10.1109/APSEC.2004.108
ISBN 0-7695-2245-9
ISSN 1530-1362
Editor D. Bae
W. Chu
Volume 11
Start page 257
End page 264
Total pages 8
Collection year 2004
Language eng
Abstract/Summary Three important goals in describing software design patterns are: generality, precision, and understandability. To address these goals, this paper presents an integrated approach to specifying patterns using Object-Z and UML. To achieve the generality goal, we adopt a role-based metamodeling approach to define patterns. With this approach, each pattern is defined as a pattern role model. To achieve precision, we formalize role concepts using Object-Z (a role metamodel) and use these concepts to define patterns (pattern role models). To achieve understandability, we represent the role metamodel and pattern role models visually using UML. Our pattern role models provide a precise basis for pattern-based model transformations or refactoring approaches.
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 12 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Thu, 23 Aug 2007, 19:32:40 EST