CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishA 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.
| Titolo: | A Formal Model for Multi SPLs |
| Autori Riconosciuti: | |
| Autori: | Damiani Ferruccio; Michael LIENHARDT; Luca Paolini |
| Data di pubblicazione: | 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. |
| Editore: | Springer Verlag |
| Titolo del libro: | Fundamentals of Software Engineering. FSEN 2017 |
| Volume: | 10522 |
| Pagina iniziale: | 67 |
| Pagina finale: | 83 |
| Nome del convegno: | 7th International Conference on Fundamentals of Software Engineering, FSEN 2017 |
| Luogo del convegno: | Tehran, Iran |
| Anno del convegno: | 26-28 April 2017 |
| Digital Object Identifier (DOI): | 10.1007/978-3-319-68972-2_5 |
| ISBN: | 978-3-319-68972-2 9783319689715 |
| URL: | https://link.springer.com/chapter/10.1007%2F978-3-319-68972-2_5 http://springerlink.com/content/0302-9743/copyright/2005/ |
| Parole Chiave: | Analysis techniques, Compositional analysis, Core calculus, Formal model, Java program, Modular approach, Software product lines |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| LNCS-FSEN-2017-PostProc-Damiani-et-al.pdf | Articolo principale (conferenza) | 2 PDF Editoriale | Utenti riconosciuti Richiedi una copia | |
| LNCS-FSEN-PostProc-2017-Damiani-et-al-OPEN.pdf | Articolo principale (conferenza) | 1 Ver. finale autore | Open Access Visualizza/Apri |
http://hdl.handle.net/2318/79965
Copyright © 2020