Verification of Architectural Refactorings: Rule Extraction and Tool Support

  • Dénes Bisztray
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5214)


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].


Activity Diagram Observable Behaviour Rule Extraction Communicate Sequential Process Eclipse Modeling Framework 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Lehman, M.M.: Laws of software evolution revisited. In: European Workshop on Software Process Technology, pp. 108–124 (1996)Google Scholar
  2. 2.
    Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the Design of Existing Code, 1st edn. Addison-Wesley Professional, Reading (1999)Google Scholar
  3. 3.
    Bisztray, D., Heckel, R., Ehrig, H.: Verification of architectural refactorings by rule extraction. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 347–361. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall, Englewood Cliffs (1985)zbMATHGoogle Scholar
  5. 5.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science). An EATCS Series. Springer, New York (2006)Google Scholar
  6. 6.
    Tiger Developer Team: Tiger EMF Transformer (2007),
  7. 7.
    Bisztray, D.: Verification of architectural refactoring rules. Technical Report CS-08-001, Department of Computer Science, University of Leicester (2008),
  8. 8.
    Formal Systems Europe Ltd: FDR2 User Manual (2005),

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Dénes Bisztray
    • 1
  1. 1.Department of Computer ScienceUniversity of Leicester 

Personalised recommendations