Title :
Design Pattern Evolution and Verification Using Graph Transformation
Author :
Zhao, Chunying ; Kong, Jun ; Zhang, Kang
Author_Institution :
Texas Univ., Richardson, TX
Abstract :
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes, attributes, operations and relationships between classes. Compared with other techniques, graphical notation, as a natural and intuitive way in software modeling, is suitable to be used at the transformation stage. In this paper we focus on the automated evolution of design patterns using graph transformation. The rules for the potential design evolutions are defined. After the evolution process, a graph grammar based syntax parser is proposed to check the structural integrity of the evolved design patterns
Keywords :
graph grammars; object-oriented programming; program verification; programming language semantics; software prototyping; design pattern evolution; design pattern verification; graph grammar based syntax parser; graph transformation based approach; graphical notation; software modeling; Acceleration; Application software; Computer architecture; Data mining; Neodymium; Object oriented modeling; Software systems; Unified modeling language;
Conference_Titel :
System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on
Conference_Location :
Waikoloa, HI
Electronic_ISBN :
1530-1605
DOI :
10.1109/HICSS.2007.169