A model transformation approach for design pattern evolutions

The evolution of a design pattern typically involves the addition or removal of a group of modeling elements, such as classes, attributes, operations, and relationships. However, the possible evolutions of each design pattern are often not explicitly documented. Missing part of the evolution process may result in inconsistent evolution. In this paper, we define the evolution processes of design patterns in terms of two-level transformations, thus making the possible evolutions of each design pattern explicit. In addition, we automate the evolution processes as XSLT transformations that can transform the UML model of a design pattern application into the evolved UML model of the pattern. Both the original and evolved UML models are represented in the XML metadata interchange (XMI) format to facilitate the transformations. Furthermore, we check the consistency of the evolution results using the Java Theorem Prover

[1]  Heinrich Hussmann,et al.  Experiments with XMI Based Transformations of Software Models , 2001 .

[2]  Paulo S. C. Alencar,et al.  A pattern-based approach to structural design composition , 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).

[3]  Takashi Kobayashi,et al.  Software development based on software pattern evolution , 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).

[4]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[5]  Andreas Rausch,et al.  Using XML/XMI for tool supported evolution of UML models , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[6]  Tomoji Kishi,et al.  Design pattern concerns for software evolution , 2001, IWPSE '01.

[7]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[8]  Paddy Nixon,et al.  Automated software evolution towards design patterns , 2001, IWPSE '01.

[9]  Jernej Kovse,et al.  Generic XMI-Based UML Model Transformations , 2002, OOIS.

[10]  Jing Dong,et al.  EVOLVING DESIGN PATTERNS BASED ON MODEL TRANSFORMATION , 2005 .

[11]  Ketil Stølen,et al.  What is model driven architecture , 2003 .

[12]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[13]  Audris Kalnins,et al.  Model Transformation Language MOLA , 2003, MDAFA.

[14]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[15]  R. Fikes,et al.  JTP : A System Architecture and Component Library for Hybrid Reasoning , 2003 .

[16]  Paulo S. C. Alencar,et al.  Ensuring structure and behavior correctness in design composition , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[17]  Jean-Marc Jézéquel,et al.  On Executable Meta-Languages applied to Model Transformations , 2005 .

[18]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.