• DocumentCode
    3331965
  • Title

    Design Pattern Evolution and Verification Using Graph Transformation

  • Author

    Zhao, Chunying ; Kong, Jun ; Zhang, Kang

  • Author_Institution
    Texas Univ., Richardson, TX
  • fYear
    2007
  • fDate
    Jan. 2007
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on
  • Conference_Location
    Waikoloa, HI
  • ISSN
    1530-1605
  • Electronic_ISBN
    1530-1605
  • Type

    conf

  • DOI
    10.1109/HICSS.2007.169
  • Filename
    4076970