loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
11th Asia-Pacific Software Engineering Conference (APSEC'04)
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML
Busan, Korea
November 30-December 03
ISBN: 0-7695-2245-9
Soon-Kyeong Kim, The University of Queensland, St Lucia, Australia
David Carrington, The University of Queensland, St Lucia, Australia
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.
Citation:
Soon-Kyeong Kim, David Carrington, "Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML," apsec, pp.257-264, 11th Asia-Pacific Software Engineering Conference (APSEC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.