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

DAMIANI, Ferruccio;PAOLINI, LUCA LUIGI
2015-01-01

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.
13th International Conference on Software Engineering and Formal Methods, SEFM 2015
York, UK
September 7-11, 2015
Software Engineering and Formal Methods
Springer International Publishing
9276
344
359
978-3-319-22968-3
978-3-319-22969-0
http://link.springer.com/chapter/10.1007%2F978-3-319-22969-0_24
Featured transition system, Modal transition system, Model Checking, Model tranformation
ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
File in questo prodotto:
File Dimensione Formato  
SEFM15-open-access.pdf

Open Access dal 23/08/2016

Descrizione: Articolo principale (versione per conferenza)
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 968.28 kB
Formato Adobe PDF
968.28 kB Adobe PDF Visualizza/Apri
LNCS-sefm-2015.pdf

Accesso riservato

Descrizione: Articolo principale (versione per conferenza)
Tipo di file: PDF EDITORIALE
Dimensione 3.66 MB
Formato Adobe PDF
3.66 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1523164
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2497
  • ???jsp.display-item.citation.isi??? 13
social impact