Refaktorings är programomvandlingar som förbättrar programvarustrukturen samtidigt som det externa beteendet bevaras. Trots denna mycket användbara egenskap, refaktorings kan fortfarande ge upphov till strukturella konflikter när parallella evolutioner till samma programvara görs av olika utvecklare. Detta dokument undersöker problemet med strukturella utvecklingskonflikter på ett formellt sätt genom att använda grafomvandling och kritisk paranalys. Baserat på experiment som utförs i grafomvandlingsverktyget AGG visar vi hur denna formalism kan utnyttjas för att upptäcka och lösa refaktoriska konflikter.
Mens et al. REF upptäckte UML som orsakade konflikter genom graftransformation och genom att ange kritiska par.
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}