Probabilistic Software product lines - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2019

Probabilistic Software product lines

Résumé

We introduce a probabilistic extension of our previous work SPLA: a formal framework to specify and analyze software product lines. We use probabilistic information to identify those features that are more frequently used. This is done by computing the probability of having a feature in a specific software product line, from now on SPLA P. We redefine the syntax of SPLA to include probabilistic operators and define new operational and denotational semantics. We prove that the expected equivalence between these two semantic frameworks holds. Our proba-bilistic framework is supported by a set of scripts to show the model behavior. We briefly comment on the characteristics of the scripts and discuss the advantages of using probabilities to quantify the likelihood of having features in potential software product lines.
Fichier principal
Vignette du fichier
main.pdf (1.45 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02387462 , version 1 (29-11-2019)

Identifiants

Citer

Carlos Camacho, Luis Llana, Alberto Núñez, Mario Bravetti. Probabilistic Software product lines. Journal of Logical and Algebraic Methods in Programming, 2019, ⟨10.1016/j.jlamp.2019.05.007⟩. ⟨hal-02387462⟩
49 Consultations
136 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More