Verification of Architectural Refactorings: Rule Extraction and Tool Support

  • Authors:
  • Dénes Bisztray

  • Affiliations:
  • Department of Computer Science, University of Leicester,

  • Venue:
  • ICGT '08 Proceedings of the 4th international conference on Graph Transformations
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

With the recent success of the component-based and service-oriented paradigm, the complexity of software also increased. To tackle complexity, architectural models aid the developers. However, a software in constant use, must continually evolve, otherwise it becomes progressively less satisfactory [1]. During the adaptation to changed requirements and improvement of internal structure, changes may be required to preserve the observable behaviour of the systems. In OO programming, such behaviour-preserving transformations are called refactorings [2].