Using mCRL2 for the analysis of software product lines

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

26 Citations (Scopus)
1 Downloads (Pure)

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.
Original languageEnglish
Title of host publication2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE'14, Hyderabad, India, June 3, 2014)
PublisherIEEE Computer Society
Pages31-37
ISBN (Print)978-1-4503-2853-1
DOIs
Publication statusPublished - 2014
Event2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE '14), June 3, 2014, Hyderabad, India - Hyderabad, India
Duration: 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
Abbreviated titleFormaliSE '14
Country/TerritoryIndia
CityHyderabad
Period3/06/143/06/14
OtherWorkshop co-located with the 36th International Conference on Software Engineering (ICSE 2014)
Internet address

Fingerprint

Dive into the research topics of 'Using mCRL2 for the analysis of software product lines'. Together they form a unique fingerprint.

Cite this