We present an automatic technique to transform a subclass of featured transition systems into modal transition systems with additional sets of variability constraints in the specific format accepted by the variability model checker VMC. Both formal models are widely used in the field of software product line engineering and both come with a dedicated model checker. The transformation serves two purposes. First, it contributes to a better understanding of the fundamental differences between the two approaches, basically concerning the way in which variability constraints are represented (in terms of features and actions, respectively). Second, it paves the way to compare the modelling and analysis of product line behaviour in two different settings.
From featured transition systems to modal transition systems with variability constraints
Ter Beek M H;Gnesi S;Mazzanti F;
2015
Abstract
We present an automatic technique to transform a subclass of featured transition systems into modal transition systems with additional sets of variability constraints in the specific format accepted by the variability model checker VMC. Both formal models are widely used in the field of software product line engineering and both come with a dedicated model checker. The transformation serves two purposes. First, it contributes to a better understanding of the fundamental differences between the two approaches, basically concerning the way in which variability constraints are represented (in terms of features and actions, respectively). Second, it paves the way to compare the modelling and analysis of product line behaviour in two different settings.File | Dimensione | Formato | |
---|---|---|---|
prod_333624-doc_103613.pdf
solo utenti autorizzati
Descrizione: From featured transition systems to modal transition systems with variability constraints
Tipologia:
Versione Editoriale (PDF)
Dimensione
3.66 MB
Formato
Adobe PDF
|
3.66 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
prod_333624-doc_156719.pdf
accesso aperto
Descrizione: From featured transition systems to modal transition systems with variability constraints
Tipologia:
Versione Editoriale (PDF)
Dimensione
949.31 kB
Formato
Adobe PDF
|
949.31 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.