A Software Product Line (SPL) is a set of similar programs generated from a common code base. Delta Oriented Programming (DOP) is a flexible approach to implement SPLs. Efficiently type checking an SPL (i.e., checking that all its programs are well-typed) is challenging. This paper proposes a novel type checking approach for DOP. Intrinsic complexity of SPL type checking is addressed by providing early detection of type errors and by reducing type checking to satisfiability of a propositional formula. The approach is tunable to exploit automatically checkable DOP guidelines for making an SPL more comprehensible and type checking more efficient. The approach and guidelines are formalized by means of a core calculus for DOP of product lines of Java programs.

On Type Checking Delta-Oriented Product Lines

DAMIANI, Ferruccio;LIENHARDT, Michael
2016

Abstract

A Software Product Line (SPL) is a set of similar programs generated from a common code base. Delta Oriented Programming (DOP) is a flexible approach to implement SPLs. Efficiently type checking an SPL (i.e., checking that all its programs are well-typed) is challenging. This paper proposes a novel type checking approach for DOP. Intrinsic complexity of SPL type checking is addressed by providing early detection of type errors and by reducing type checking to satisfiability of a propositional formula. The approach is tunable to exploit automatically checkable DOP guidelines for making an SPL more comprehensible and type checking more efficient. The approach and guidelines are formalized by means of a core calculus for DOP of product lines of Java programs.
12th International Conference, IFM 2016
Reykjavik, Iceland
June 1-5, 2016
Integrated Formal Methods
Springer International Publishing
9681
47
62
978-3-319-33692-3
978-3-319-33693-0
http://link.springer.com/chapter/10.1007%2F978-3-319-33693-0_4
Software Product Lina, Delta-Oriented Programming, Type Checking, Java Core Calculus, SAT
Damiani, Ferruccio; Lienhardt, Michael
File in questo prodotto:
File Dimensione Formato  
LNCS-iFM-2016.pdf

Accesso riservato

Descrizione: Articolo principale (conferenza)
Tipo di file: PDF EDITORIALE
Dimensione 417.49 kB
Formato Adobe PDF
417.49 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
LNCS-iFM-2016-aperto.pdf

Accesso aperto con embargo fino al 26/05/2017

Descrizione: Articolo principale (conferenza)
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 549.86 kB
Formato Adobe PDF
549.86 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/1583089
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 10
social impact