Przeprowadzanie refaktoryzacji w środowisku rozproszonym może prowadzić do poważnych problemów na etapie łączenia zmian m.in. za sprawą nieograniczonego zasięgu tych operacji. Dostępne systemy zarządzania konfiguracją wykorzystując techniki łączenia tekstów nie są w stanie wykrywać ani zapobiegać potencjalnym konfliktom. Ponadto błędy diagnozowane są późno, bowiem dopiero kiedy ostatni członek zespołu udostępnia swoje modyfikacje. Z drugiej strony, mimo iż refaktoryzacja jest już powszechnie uznaną i stosowaną techniką poprawy jakości oprogramowania nie doczekała się formalizacji.
W pracy zaprojektowano system Distributed Refactoring Environment dla wspomagania refaktoryzacji. Nadrzędnym jego zadaniem jest zarządzanie wprowadzaniem równoległych zmian przy utrzymaniu spójności oprogramowania oraz minimalizacji kosztów rozwiązywania konfliktów. Dzięki reprezentacji operacji na wyższym poziomie abstrakcji za pomocą gramatyki i transformacji grafowych można formalne opisać ewolucję oprogramowania W oparciu o wprowadzoną koncepcję repozytorium grafowego system stanowi wydajne środowisko pracy pozwalające wykluczyć konflikty na poziomie elementarnych refaktoryzacji i zapobiegać kolizjom przy równoległym wprowadzaniu łańcuchów refaktoryzacji. Opracowane metody synchronizacji pozwalają informować projektantów o potencjalnych kolizjach natychmiast po ich wystąpieniu.
„On the use of graph transformations to exclude conflicts after refactoring in the distributed environment"
Refactoring applied in the distributed environment might cause serious problems while merging parallel changes - it is mainly due to extensive scope of these operations and thus high risk of a code overlapping. Currently available Software Configuration Management systems, operating only on texts files, neither are able to avoid most of potential conflicts, nor even able to detect them. Moreover problems are detected at very late stage when last of developers is committing his changes. On the other hand being a commonly used technique to enrich the software structure and support software maintenance, refactoring still lacks a good formal definition.
In the dissertation we propose Distributed Refactoring Environment system to deal with the above issues. The main task of the system is to preserve software consistency while coordinating parallel changes and trying to minimize refactoring costs. With the help of graph grammar and graph transformation mechanisms we are able to describe software and software evolution on accurate abstraction level. Based on introduced graph repository concept the system allows to significantly reduce the number of refactoring conflicts and manage refactoring chains. It also provides an immediate verification possibility of the local committed refactoring influence on the current work of other designers.
