Adaptation of a refactoring DSL for the object-oriented paradigm

Németh Dávid J.; Horpácsi Dániel; Tejfel Máté: Adaptation of a refactoring DSL for the object-oriented paradigm. In: Acta cybernetica, (25) 4. pp. 817-846. (2022)

Előnézet

Cikk, tanulmány, mű cybernetica_025_numb_004_817-846.pdf Letöltés (570kB) | Előnézet

Absztrakt (kivonat)

Many development environments offer refactorings aimed at improving non-functional properties of software, but we have no guarantees that these transformations indeed preserve the observable behavior of the source code they are applied on. An existing domain-specific language makes it possible to formalize automatically verifiable refactorings via instantiating predefined transformation schemes with conditional term rewrite rules. We present a proposal for adapting this language from the functional to the object-oriented programming paradigm, using Java instead of Erlang as a representative. The behavior-preserving property of discussed refactorings is characterized with a multilayered definition of equivalence for Java programs, including the conformity relation of class hierarchies. Based on the decomposition of a complex refactoring rule, we show how new transformation schemes can be identified, along with modifications and extensions of the description language required to accommodate them. Finally, we formally define the chosen base refactoring as a composition of scheme instances.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2022
Kötet:	25
Szám:	4
ISSN:	2676-993X
Oldalak:	pp. 817-846
Nyelv:	angol
Kiadó:	University of Szeged, Institute of Informatics
Kiadás helye:	Szeged
Befoglaló mű URL:	https://acta.bibl.u-szeged.hu/86901/
DOI:	10.14232/actacyb.284280
Kulcsszavak:	Programozás, Refaktorálás, Szoftverfejlesztés
Megjegyzések:	Bibliogr.: p. 844-846. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2025. ápr. 15. 11:31
Utolsó módosítás:	2025. ápr. 15. 11:31
URI:	http://acta.bibl.u-szeged.hu/id/eprint/86956

Bővebben:

Tétel nézet