Using mCRL2 for the analysis of software product lines

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

26 Citaten (Scopus)
1 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.
Originele taal-2Engels
Titel2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE'14, Hyderabad, India, June 3, 2014)
UitgeverijIEEE Computer Society
Pagina's31-37
ISBN van geprinte versie978-1-4503-2853-1
DOI's
StatusGepubliceerd - 2014
Evenement2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE '14), June 3, 2014, Hyderabad, India - Hyderabad, India
Duur: 3 jun 20143 jun 2014
http://www.formalise.org/edition/formalise2014

Workshop

Workshop2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE '14), June 3, 2014, Hyderabad, India
Verkorte titelFormaliSE '14
Land/RegioIndia
StadHyderabad
Periode3/06/143/06/14
Ander2nd FME Workshop on Formal Methods in Software Engineering
Internet adres

Vingerafdruk

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

Citeer dit