Software product line analysis with mCRL2

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

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

6 Citations (Scopus)

Abstract

The mCRL2 language and supporting software provide a state-of-the-art tool suite for the verification of distributed systems. In this paper, we present the general principles, extrapolated from [7,8], which make us believe that mCRL2 can also be used for behavioral variability analysis of product families. The mCRL2 data language allows to smoothly deal with feature sets and attributes, its process language is sufficiently rich to model feature selection, as well as product behavior based on an FTS-like semantics. Because of the feature-orientation, our modeling strategy allows a natural refactoring of the semantic model of a product family into a parallel composition of components that reflects coherent sets of features. This opens the way for dedicated abstraction and reduction techniques that strengthen the prospect of a scalable verification approach to software product lines. In this paper, we sketch how to model product families in mCRL2 and how to apply a modular verification method, preparing the ground to further assess the scalability of our approach, in particular regarding model checking. Keywords: Product families, Variability, Behavioral analysis, Modular verification, Model checking
Original languageEnglish
Title of host publication18th International Software Product Line Conference (SPLC'14, Florence, Italy, September 15-19, 2014, Companion Volume for Workshops, Demonstrations and Tools)
Place of PublicationNew York NY
PublisherAssociation for Computing Machinery, Inc
Pages78-85
ISBN (Print)978-1-4503-2739-8
DOIs
Publication statusPublished - 2014
Eventconference; 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools; 2014-09-15; 2014-09-19 -
Duration: 15 Sep 201419 Sep 2014

Conference

Conferenceconference; 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools; 2014-09-15; 2014-09-19
Period15/09/1419/09/14
Other18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools

Fingerprint

Dive into the research topics of 'Software product line analysis with mCRL2'. Together they form a unique fingerprint.

Cite this