Verification of Architectural Refactorings: Rule Extraction and Tool Support

  • Software in use needs to be adapted to changing requirements, otherwise it becomes obsolete. Often, this involves changing the architecture of the system. To avoid the introduction of unwanted or removal of desired behaviour, these changes need verification. While verifying large systems consumes considerable resources, the verification of only the changed parts can, under certain conditions, give the required assurance. This opens the possibility of creating formally verified, reusable refactorSoftware in use needs to be adapted to changing requirements, otherwise it becomes obsolete. Often, this involves changing the architecture of the system. To avoid the introduction of unwanted or removal of desired behaviour, these changes need verification. While verifying large systems consumes considerable resources, the verification of only the changed parts can, under certain conditions, give the required assurance. This opens the possibility of creating formally verified, reusable refactoring patterns. However, a mechanism for extracting such patterns is needed. To address this problem, a theoretical framework is presented that allow to formally reason about the rule extraction process. In order to harness the theoretical results, a visual editor and tool chain are introduced to aid developers in extracting refactoring rules and prove their behavioural correctness.show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
URN:urn:nbn:de:kobv:83-opus-31274
ISBN:1863-2122
Series (Serial Number):Electronic Communications of the EASST- ECEASST (16/01)
Document Type:Wissenschaftlicher Artikel, Postprint
Language:English
Date of Publication (online):2011/08/10
Release Date:2011/08/10
Tag:Graph Transformations; Refactoring; Semantics
Source:http://journal.ub.tu-berlin.de/eceasst/article/view/240
Institutes:Institut für Softwaretechnik und Theoretische Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Collection:Volume 16 (2009): International Conference on Graph Transformation 2008 - Doctoral Symposium
Licence (German):License Logo CC BY-NC-SA: Creative Commons-Lizenz: Namensnennung, nicht kommerziell, Weitergabe zu gleichen Bedingungen