DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
(titres de publication, de périodique et noms de colloque inclus)
2005-04-01 - Article/Dans un journal avec peer-review - Anglais - 16 page(s)

Mens Tom , Taentzer Gabriele, Runge Olga, "Detecting Structural Refactoring Conflicts Using Critical Pair Analysis" in Electronic Notes in Theoretical Computer Science, 127, 3, 113-128

  • Edition : Elsevier, Amsterdam (Pays-Bas)
  • Codes CREF : Informatique appliquée logiciel (DI2570), Informatique mathématique (DI1160)
  • Unités de recherche UMONS : Génie Logiciel (S852)
Texte intégral :

Abstract(s) :

(Anglais) Refactorings are program transformations that improve the software structure while preserving the external behaviour. In spite of this very useful property, refactorings can still give rise to structural conflicts when parallel evolutions to the same software are made by different developers. This paper explores this problem of structural evolution conflicts in a formal way by using graph transformation and critical pair analysis. Based on experiments carried out in the graph transformation tool AGG, we show how this formalism can be exploited to detect and resolve refactoring conflicts.

Identifiants :
  • DOI : 10.1016/j.entcs.2004.08.038