Title :
Software Quality Improvement via Pattern-Based Model Refactoring
Author_Institution :
Dept. of Comput. Sci. & Eng., Oakland Univ., Rochester, MI
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;
Conference_Titel :
High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11th IEEE
Conference_Location :
Nanjing
Print_ISBN :
978-0-7695-3482-4
DOI :
10.1109/HASE.2008.10