• 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