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
Link To Document