A Software Product Line (SPL) is a set of programs, called variants, which are generated from a common artifact base. Delta-Oriented Programming (DOP) is a flexible approach to implement SPLs. In this article, we provide a foundation for rigorous development of delta-oriented product lines of statecharts. We introduce a core language for statecharts, we define DOP on top of it, we present an analysis ensuring that a product line is well-formed (i.e., all variants can be generated and are well-formed statecharts), and we illustrate how an implementation of the analysis has been applied to an industrial case study.

On checking delta-oriented product lines of statecharts

Lienhardt, Michael;Damiani, Ferruccio;Testa, Lorenzo;TURIN, GIANLUCA
2018

Abstract

A Software Product Line (SPL) is a set of programs, called variants, which are generated from a common artifact base. Delta-Oriented Programming (DOP) is a flexible approach to implement SPLs. In this article, we provide a foundation for rigorous development of delta-oriented product lines of statecharts. We introduce a core language for statecharts, we define DOP on top of it, we present an analysis ensuring that a product line is well-formed (i.e., all variants can be generated and are well-formed statecharts), and we illustrate how an implementation of the analysis has been applied to an industrial case study.
166
3
34
https://www.sciencedirect.com/science/article/pii/S0167642318301953?via%3Dihub
Core calculus; Delta-oriented programming; Software product line; Software product line analysis; Statechart; Software
Lienhardt, Michael; Damiani, Ferruccio*; Testa, Lorenzo; Turin, Gianluca
File in questo prodotto:
File Dimensione Formato  
SCP-2018-Lienhardt-et-al.pdf

Accesso riservato

Descrizione: Ariticolo principale
Tipo di file: PDF EDITORIALE
Dimensione 2.94 MB
Formato Adobe PDF
2.94 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
statecharts.pdf

Accesso aperto con embargo fino al 21/06/2020

Descrizione: Ariticolo principale
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 1.03 MB
Formato Adobe PDF
1.03 MB 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/1671322
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 9
social impact