Using mCRL2 for the analysis of software product lines

M.H. Beek, ter; E.P. Vink, de

Using mCRL2 for the analysis of software product lines

M.H. Beek, ter, E.P. Vink, de

Onderzoeksoutput: Boek/rapport › Rapport › Academic

26 Citaten (Scopus)

157 Downloads (Pure)

Samenvatting

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. Keywords: Model checking, product lines, variability analysis, mCRL2

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Aantal pagina's	10
Status	Gepubliceerd - 2014

Publicatie series

Naam	Computer science reports
Volume	1402
ISSN van geprinte versie	0926-4515

Toegang tot document

publishers versionDefinitieve gepubliceerde versie, 657 KB

Vingerafdruk Duik in de onderzoeksthema's van 'Using mCRL2 for the analysis of software product lines'. Samen vormen ze een unieke vingerafdruk.

Citeer dit

Beek, ter, M. H., & Vink, de, E. P. (2014). Using mCRL2 for the analysis of software product lines. (Computer science reports; Vol. 1402). Technische Universiteit Eindhoven.

@book{ba902ed8195b4a599805b7df8e5fb781,

title = "Using mCRL2 for the analysis of software product lines",

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. Keywords: Model checking, product lines, variability analysis, mCRL2",

author = "{Beek, ter}, M.H. and {Vink, de}, E.P.",

year = "2014",

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - Using mCRL2 for the analysis of software product lines

AU - Beek, ter, M.H.

AU - Vink, de, E.P.

PY - 2014

Y1 - 2014

N2 - 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. Keywords: Model checking, product lines, variability analysis, mCRL2

AB - 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. Keywords: Model checking, product lines, variability analysis, mCRL2

M3 - Report

T3 - Computer science reports

BT - Using mCRL2 for the analysis of software product lines

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -