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.
Titolo: | Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking | |
Autori Riconosciuti: | ||
Autori: | Damiani, Ferruccio; Lienhardt, Michael | |
Data di pubblicazione: | 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. | |
Editore: | Springer International Publishing | |
Titolo del libro: | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications | |
Volume: | 9953 | |
Pagina iniziale: | 579 | |
Pagina finale: | 596 | |
Nome del convegno: | 7th International Symposium, ISoLA 2016 | |
Luogo del convegno: | Corfu, Greece | |
Anno del convegno: | October 10-14, 2016 | |
Digital Object Identifier (DOI): | 10.1007/978-3-319-47169-3_45 | |
ISBN: | 9783319471686 9783319471686 | |
URL: | http://link.springer.com/chapter/10.1007/978-3-319-47169-3_45 | |
Parole Chiave: | Theoretical Computer Science; Computer Science (all) | |
Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
ISoLA-2016_Damiani-Lienhardt.pdf | Articolo principale (conferenza) | PDF EDITORIALE | Utenti riconosciuti Richiedi una copia | |
ISoLA-2016_Damiani-Lienhardt-OPEN.pdf | Articolo principale (conferenza) | POSTPRINT (VERSIONE FINALE DELL’AUTORE) | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.