A Formal Model for Multi SPLs - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

A Formal Model for Multi SPLs

Résumé

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.
Fichier principal
Vignette du fichier
459025_1_En_5_Chapter.pdf (440.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01760853 , version 1 (06-04-2018)

Licence

Identifiants

Citer

Ferruccio Damiani, Michael Lienhardt, Luca Paolini. A Formal Model for Multi SPLs. 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.67-83, ⟨10.1007/978-3-319-68972-2_5⟩. ⟨hal-01760853⟩
64 Consultations
101 Téléchargements

Altmetric

Partager

More