• DocumentCode
    1835876
  • Title

    Software Quality Improvement via Pattern-Based Model Refactoring

  • Author

    Kim, Dae-Kyoo

  • Author_Institution
    Dept. of Comput. Sci. & Eng., Oakland Univ., Rochester, MI
  • fYear
    2008
  • fDate
    3-5 Dec. 2008
  • Firstpage
    293
  • Lastpage
    302
  • Abstract
    This paper describes an approach to refactoring a software model using design patterns to improve design quality. In this approach, we define a design pattern as a set of three components, a problem specification characterizing problem models, a solution specification characterizing solution models and a transformation specification describing how a problem model should be transformed to a solution model. A problem model is checked for pattern applicability against the problem specification. If the pattern is applicable, the transformation specification is instantiated and applied to the model to incorporate the pattern´s solution properties. The resulting model is a solution model conforming to the solution specification of the pattern. We demonstrate the approach using the visitor design pattern and a distributed monitoring system.
  • Keywords
    formal specification; software quality; distributed monitoring system; pattern-based model refactoring; problem specification; software quality; Application software; Computer science; Design engineering; Monitoring; Software design; Software quality; Software systems; Systems engineering and theory; USA Councils; Unified modeling language; Design pattern; UML; model refactoring; software quality;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11th IEEE
  • Conference_Location
    Nanjing
  • ISSN
    1530-2059
  • Print_ISBN
    978-0-7695-3482-4
  • Type

    conf

  • DOI
    10.1109/HASE.2008.10
  • Filename
    4708887