The University of Queensland Homepage
UQ HomepageSearch UQFind all Contacts at UQStudy Options at UQEvents at UQUQ MapsUQ LibraryLink to my.UQ
School of ITEE ITEE Main Website
      





 Formalizing Software Design Pattern Concepts and Pattern Specifications using Metamodeling

Contributors:

David Carrington and Soon-Kyeong Kim

Description:

Software design is currently an ad-hoc process that relies too heavily on each designer's personal experience. Software design patterns capture design know-how and make it reusable by identifying the problem and context in which a family of solutions can be applied. This project will use a formal metamodeling approach to define the concepts underlying software design patterns and hence will create precise and rigorous pattern specifications. Through this approach, we will incorporate patterns into the Unified Modeling Language (UML), the dominant object-oriented modeling language. Our pattern specifications will assist UML tool developers integrate software design patterns into their tools.

Publications:

  • S-K. Kim and D. Carrington, A Pattern–based Model Evolution Approach, APSEC2006, 2006, IEEE

  • S-K. Kim and D. Carrington, A Tool for a Formal Pattern Modeling Language, the International Conference on Formal Engineering Methods (ICFEM'2006), 2006, LNCS 4260, Springer.

  • S-K. Kim and D. Carrington, A Formal V&V Framework for UML Models based on Model Transformation Techniques, MoDeVa workshop at the MoDELS/UML, 2005.

  • S-K. Kim and D. Carrington, An MDA Approach towards Integrating Formal and Informal Modeling Languages, Formal Methods 2005, UK, July 2005, LNCS, Springer.

  • S-K. Kim and D. Carrington, A Rigorous Foundation for Pattern Based Design Models, ZB'2005, Guildford, UK, April 2005, LNCS, Springer.

  • S-K. Kim, L. Wildman and R. Duke, A UML Approach to the Generation of Test Sequences for Java-based Concurrent Systems, ASWEC'2005, Brisbane, Australia, March 2005, IEEE Computing Society, Best paper award.

  • S-K. Kim and D. Carrington, Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML, Asia Pacific Software Engineering Conference'2004, Korea, Dec. 2004, IEEE Computing Society.

  • S-K. Kim and D. Carrington, A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models, Australian Software Engineering Conference (ASWEC'2004), Melbourne, Australia, Apr. 2004, IEEE Computing Society.

© 2002-2009 The University of Queensland, Brisbane, Australia
ABN 63 942 912 684
CRICOS Provider No: 00025B

This is a personal web area hosted on a University of Queensland web server.
Please be advised that this web page is not officially endorsed by The University of Queensland.
The University accepts no responsibility or liability for the contents of this area.

Last Updated: 16 March, 2007, 11:47am