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.
Using mCRL2 for the analysis of software product lines
Ter Beek M H;
2014
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_293443-doc_84242.pdf
solo utenti autorizzati
Descrizione: Using mCRL2 for the analysis of software product lines.
Tipologia:
Versione Editoriale (PDF)
Dimensione
694.58 kB
Formato
Adobe PDF
|
694.58 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
