Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form
| Autor: | Ferruccio Damiani, Luca Paolini, Michael Lienhardt |
|---|---|
| Přispěvatelé: | University of Turin, DTIS, ONERA, Université Paris Saclay (COmUE) [Palaiseau], ONERA-Université Paris Saclay (COmUE) |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
Java
Computer science 02 engineering and technology computer.software_genre [SPI]Engineering Sciences [physics] Software Software_SOFTWAREENGINEERING 0202 electrical engineering electronic engineering information engineering [INFO]Computer Science [cs] Second normal form Delta-oriented programming computer.programming_language Featherweight Java [PHYS]Physics [physics] Automated refactoring Programming language business.industry 020207 software engineering Software product lines Base (topology) Code refactoring Product (mathematics) Core (graph theory) Theory of computation business computer Information Systems |
| Zdroj: | International Journal on Software Tools for Technology Transfer International Journal on Software Tools for Technology Transfer, Springer Verlag, 2019, 21 (6), pp.691-707. ⟨10.1007/s10009-019-00534-2⟩ |
| ISSN: | 1433-2779 1433-2787 |
| DOI: | 10.1007/s10009-019-00534-2⟩ |
| Popis: | International audience; Delta-Oriented Programming (DOP) is a flexible transfor-mational approach to implement Software Product Lines (SPLs). In delta-oriented SPLs, variants are generated by applying operations contained in delta modules to a base program. These operations can add, remove or modify named elements in a program (e.g., classes, methods and fields in a Java program). This paper presents two notions of normal form for delta-oriented SPLs. Both normal forms do not contain the remove operation. Additionally, the second normal form enforces a limitation on the use of the method-modify operation. For each of the proposed normal forms an algorithm for refactoring a delta-oriented SPL into one that satisfies that normal form is described. The algorithms are formalized for a core calculus for delta-oriented SPLs of Java programs. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink