PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., De Vink E. P. Using mCRL2 for the analysis of software product lines. In: FormaliSE 2014 - 2nd FME Workshop on Formal Methods in Software Engineering (Hyderabad, India, 3 June 2014). Proceedings, pp. 31 - 37. Stefania Gnesi, Nico Plat (eds.). ACM, 2014.
 
 
Abstract
(English)
We show how the formal specification language mCRL2 and its state-of-the-art toolset can be used successfully to model and analyze variability in software product lines. The mCRL2 toolset supports parametrized modeling, model reduction and quality assurance techniques like model checking. We present a proof-of-concept, which moreover illustrates the use of data in mCRL2 and also how to exploit its data language to manage feature attributes of software product lines and quantitative constraints between attributes and features.
URL: http://dl.acm.org/citation.cfm?doid=2593489.2593493
DOI: 10.1145/2593489.2593493
Subject Model checking
Product lines
Variability analysis
mCRL2
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