A Software Product Line (SPL) is a family of similar programs generated from a common code base. Delta-Oriented Programming (DOP) is a flexible and modular approach to construct SPLs. Ensuring type safety in an SPL (i.e., ensuring that all its programs are well-typed) is a computationally expensive task. Recently, five guidelines to address the complexity of type checking delta-oriented SPLs have been proposed. This paper presents algorithms to refactor delta-oriented SPLs in order to follow the five guidelines. Complexity and correctness of the refactoring algorithms are stated.
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking
DAMIANI, Ferruccio;LIENHARDT, Michael
2016
Abstract
A Software Product Line (SPL) is a family of similar programs generated from a common code base. Delta-Oriented Programming (DOP) is a flexible and modular approach to construct SPLs. Ensuring type safety in an SPL (i.e., ensuring that all its programs are well-typed) is a computationally expensive task. Recently, five guidelines to address the complexity of type checking delta-oriented SPLs have been proposed. This paper presents algorithms to refactor delta-oriented SPLs in order to follow the five guidelines. Complexity and correctness of the refactoring algorithms are stated.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ISoLA-2016_Damiani-Lienhardt.pdf
Accesso riservato
Descrizione: Articolo principale (conferenza)
Tipo di file:
PDF EDITORIALE
Dimensione
658.44 kB
Formato
Adobe PDF
|
658.44 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
ISoLA-2016_Damiani-Lienhardt-OPEN.pdf
Accesso aperto
Descrizione: Articolo principale (conferenza)
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
691.5 kB
Formato
Adobe PDF
|
691.5 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
