Title :
Pattern-based model refactoring
Author :
El-Sharqwi, Mohamed ; Mahdi, Hani ; El-Madah, Islam
Author_Institution :
Fac. of Eng., Ain-Snams Univ., Cairo, Egypt
fDate :
Nov. 30 2010-Dec. 2 2010
Abstract :
In this paper an approach to refactoring a software model using design patterns is described. A design pattern is described as a set of three components: the problem specification which defines where and when the pattern can be applied, the Target specification which describes the structure of the pattern, and model transformation that describes the transformation needed to apply the pattern. XML is chosen to formally represent both the pattern and the software model. A software model is checked for pattern applicability and if an instance of the problem is found, the related transformation is executed as a sequence of primitive model refactorings. Abstract Factory design pattern is used as a case study to demonstrate our approach.
Keywords :
formal specification; formal verification; software quality; abstract factory design pattern; design pattern; model transformation; pattern-based model refactoring; problem specification; software model checking; target specification; Classification algorithms; Games; Production facilities; Software quality; Unified modeling language; XML; Design-patterns; Model; Refactoring; Transformation;
Conference_Titel :
Computer Engineering and Systems (ICCES), 2010 International Conference on
Conference_Location :
Cairo
Print_ISBN :
978-1-4244-7040-2
DOI :
10.1109/ICCES.2010.5674873