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.
7th International Symposium, ISoLA 2016
Corfu, Greece
October 10-14, 2016
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Springer International Publishing
9953
579
596
9783319471686
9783319471686
http://link.springer.com/chapter/10.1007/978-3-319-47169-3_45
Theoretical Computer Science; Computer Science (all)
Damiani, Ferruccio; Lienhardt, Michael
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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2318/1614401
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 2
social impact