Composing pattern-based components and verifying correctness
Journal of Systems and Software
Pattern-based design evolution using graph transformation
Journal of Visual Languages and Computing
A formal model of design-patterns based design
Proceedings of the 2nd India software engineering conference
Design Patterns Instantiation Based on Semantics and Model Transformations
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Design pattern evolutions in QVT
Software Quality Control
Design pattern support based on the source code annotations and feature models
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Hi-index | 0.00 |
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 twolevel 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.