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 language | English |
|---|---|
| Title of host publication | 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE'14, Hyderabad, India, June 3, 2014) |
| Publisher | IEEE Computer Society |
| Pages | 31-37 |
| ISBN (Print) | 978-1-4503-2853-1 |
| DOIs | |
| Publication status | Published - 2014 |
| Event | 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE '14), June 3, 2014, Hyderabad, India - Hyderabad, India Duration: 3 Jun 2014 → 3 Jun 2014 http://www.formalise.org/edition/formalise2014 |
Workshop
| Workshop | 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE '14), June 3, 2014, Hyderabad, India |
|---|---|
| Abbreviated title | FormaliSE '14 |
| Country/Territory | India |
| City | Hyderabad |
| Period | 3/06/14 → 3/06/14 |
| Other | Workshop co-located with the 36th International Conference on Software Engineering (ICSE 2014) |
| Internet address |