A Software Product Line (SPL) is a family of similar programs generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs that are typically managed and developed in a decentralized fashion. Delta-Oriented Programming (DOP) is a flexible and modular approach to implement SPLs. This paper presents new concepts that extend DOP to support the implementation of MPLs. These extensions aim to accommodate compositional analyses. They are presented by means of a core calculus for delta-oriented MPLs of Java programs. Suitability for MPL compositional analyses is demonstrated by compositional reuse of existing SPL analysis techniques.

A Formal Model for Multi SPLs

DAMIANI, Ferruccio;LIENHARDT, Michael;PAOLINI, LUCA LUIGI
2017

Abstract

A Software Product Line (SPL) is a family of similar programs generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs that are typically managed and developed in a decentralized fashion. Delta-Oriented Programming (DOP) is a flexible and modular approach to implement SPLs. This paper presents new concepts that extend DOP to support the implementation of MPLs. These extensions aim to accommodate compositional analyses. They are presented by means of a core calculus for delta-oriented MPLs of Java programs. Suitability for MPL compositional analyses is demonstrated by compositional reuse of existing SPL analysis techniques.
7th International Conference on Fundamentals of Software Engineering, FSEN 2017
Tehran, Iran
26-28 April 2017
Fundamentals of Software Engineering. FSEN 2017
Springer Verlag
10522
67
83
978-3-319-68972-2
9783319689715
https://link.springer.com/chapter/10.1007%2F978-3-319-68972-2_5
http://springerlink.com/content/0302-9743/copyright/2005/
Analysis techniques, Compositional analysis, Core calculus, Formal model, Java program, Modular approach, Software product lines
Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
File in questo prodotto:
File Dimensione Formato  
LNCS-FSEN-2017-PostProc-Damiani-et-al.pdf

Accesso riservato

Descrizione: Articolo principale (conferenza)
Tipo di file: PDF EDITORIALE
Dimensione 496.42 kB
Formato Adobe PDF
496.42 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
LNCS-FSEN-PostProc-2017-Damiani-et-al-OPEN.pdf

Accesso aperto

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