Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Damiani F., Gnesi S., Mazzanti F., Paolini L. From featured transition systems to modal transition systems with variability constraints. In: SEFM'15 - 13th International Conference on Software Engineering and Formal Methods (York, UK, 7-11 September 2015). Proceedings, vol. 9276 pp. 344 - 359. Radu Calinescu, Bernhard Rumpe (eds.). (Lecture Notes in Computer Science, vol. 9276). Springer, 2015.
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.
URL: http://link.springer.com/chapter/10.1007%2F978-3-319-22969-0_24
DOI: 10.1007/978-3-319-22969-0_24
Subject Software Product Line Engineering
Variability constraints
Featured Transition Systems
Model Transition Systems
Model checking
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
D.2.13 Reusable Software. Domain engineering

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional