DocumentCode
1838130
Title
Pattern-based model refactoring
Author
El-Sharqwi, Mohamed ; Mahdi, Hani ; El-Madah, Islam
Author_Institution
Fac. of Eng., Ain-Snams Univ., Cairo, Egypt
fYear
2010
fDate
Nov. 30 2010-Dec. 2 2010
Firstpage
301
Lastpage
306
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Engineering and Systems (ICCES), 2010 International Conference on
Conference_Location
Cairo
Print_ISBN
978-1-4244-7040-2
Type
conf
DOI
10.1109/ICCES.2010.5674873
Filename
5674873
Link To Document