View in EDS

A Formal Model for Multi SPLs

Saved in:
Bibliographic Details
Title: A Formal Model for Multi SPLs
Authors: DAMIANI, Ferruccio, LIENHARDT, Michael, PAOLINI, LUCA LUIGI
Contributors: Damiani, Ferruccio*, Farhad Arbab, Hamid Sarbazi-azad, Damiani Ferruccio, Michael LIENHARDT, Luca Paolini
Publisher Information: Springer Verlag
CHE
Cham
Publication Year: 2017
Collection: Università degli studi di Torino: AperTo (Archivio Istituzionale ad Accesso Aperto)
Subject Terms: Analysis techniques, Compositional analysis, Core calculus, Formal model, Java program, Modular approach, Software product lines
Description: 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.
Document Type: conference object
File Description: ELETTRONICO
Language: English
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-68972-2; info:eu-repo/semantics/altIdentifier/isbn/9783319689715; info:eu-repo/semantics/altIdentifier/wos/WOS:000452447400005; ispartofbook:Fundamentals of Software Engineering. FSEN 2017; 7th International Conference on Fundamentals of Software Engineering, FSEN 2017; volume:10522; firstpage:67; lastpage:83; numberofpages:17; serie:LECTURE NOTES IN COMPUTER SCIENCE; info:eu-repo/grantAgreement/EC/H2020/644298; alleditors:Farhad Arbab, Hamid Sarbazi-azad; http://hdl.handle.net/2318/79965; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85032872393; https://link.springer.com/chapter/10.1007%2F978-3-319-68972-2_5; http://springerlink.com/content/0302-9743/copyright/2005/
DOI: 10.1007/978-3-319-68972-2_5
Availability: http://hdl.handle.net/2318/79965
https://doi.org/10.1007/978-3-319-68972-2_5
https://link.springer.com/chapter/10.1007%2F978-3-319-68972-2_5
http://springerlink.com/content/0302-9743/copyright/2005/
Rights: info:eu-repo/semantics/openAccess
Accession Number: edsbas.4954121B
Database: BASE
Description
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.
DOI:10.1007/978-3-319-68972-2_5