Skip to main content
SpringerLink
Log in

Quantitative variability modelling and analysis

  • Foundations for Mastering Change
  • Quantitative Variability Modelling and Analysis
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

Over the last decade, the explicit introduction and management of variability in the development cycle of (software) systems has led to a plethora of modelling and analysis techniques tailored to deal with such highly configurable (variational) systems. Most of the work on Variability Modelling and Analysis, however, focusses on qualitative (i.e. functional) requirements. This Special Section of the Foundations for Mastering Change track of the International Journal on Software Tools for Technology Transfer on Quantitative Variability Modelling and Analysis aims to provide a comprehensive overview of the latest approaches to Variability Modelling and Analysis techniques which specifically take quantities into account. In this paper, we first introduce Quantitative Variability Modelling and Analysis, after which we briefly describe the contents of the six papers that constitute this Special Section.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Boston (2002)

    Google Scholar 

  2. Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Berlin (2005)

    Book  Google Scholar 

  3. Apel, S., Batory, D.S., Kästner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Berlin (2013)

    Book  Google Scholar 

  4. Legay, A., Perrouin, G.: On quantitative requirements for product lines. In: ter Beek, M.H., Siegmund, N., Schaefer, I. (eds.) Proceedings of the 11th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS’17), pp. 2–4. ACM (2017)

  5. Larsen, K.G., Nyman, U., Wąsowski, A.: Modal I/O automata for interface and product line theories. In: De Nicola, R. (ed.) Proceedings of the 16th European Symposium on Programming (ESOP’07), Volume 4421 of LNCS, pp. 64–79. Springer (2007)

  6. Gruler, A., Leucker, M., Scheidemann, K.D.: Modeling and model checking software product lines. In: Barthe, G., de Boer, F.S. (eds.) Proceedings of the 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’08), Volume 5051 of LNCS, pp. 113–131. Springer (2008)

  7. Lauenroth, K., Pohl, K., Töhning, S.: Model checking of domain artifacts in product line engineering. In: Proceedings of the 24th International Conference on Automated Software Engineering (ASE’09), pp. 269–280. IEEE (2009)

  8. Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. ACM SIGPLAN Not. 46(2), 13–22 (2010)

    Article  Google Scholar 

  9. Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A model-checking tool for families of services. In: Bruni, R., Dingel, J. (eds.) Proceedings of the 13th International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS’11) and 31st International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE’11), Volume 6722 of LNCS, pp. 44–58. Springer (2011)

  10. Erwig, M., Walkingshaw, E.: The choice calculus: a representation for software variation. ACM Trans. Softw. Eng. Methodol. 21(1), 6 (2011)

    Article  Google Scholar 

  11. ter Beek, M.H., Mazzanti, F., Sulova, A.: VMC: a tool for product variability analysis. In: Giannakopoulou, D., Méry, D. (eds.) Proceedings of the 18th International Symposium on Formal Methods (FM’12), Volume 7436 of LNCS, pp. 450–454. Springer (2012)

  12. Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.-Y.: Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5), 589–612 (2012)

    Article  Google Scholar 

  13. Cordy, M., Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A.: ProVeLines: a product line of verifiers for software product lines. In: Proceedings of the 17th International Software Product Line Conference (SPLC’13), vol. 2, pp. 141–146. ACM (2013)

  14. Classen, A., Cordy, M., Schobbens, P.-Y., Heymans, P., Legay, A., Raskin, J.-F.: Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking. IEEE Trans. Softw. Eng. 39(8), 1069–1089 (2013)

    Article  Google Scholar 

  15. ter Beek, M.H., de Vink, E.P.: Using mCRL2 for the analysis of software product lines. In: Gnesi, S., Plat, N. (eds.) Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE@ICSE’14), pp. 31–37. ACM (2014)

  16. Thüm, T., Apel, S., Kästner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 6 (2014)

    Article  Google Scholar 

  17. Tribastone, M.: Behavioral relations in a process algebra for variants. In: Proceedings of the 18th International Software Product Line Conference (SPLC’14), pp. 82–91. ACM (2014)

  18. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. J. Log. Algebr. Methods Program. 85(2), 287–315 (2016)

    Article  MathSciNet  Google Scholar 

  19. ter Beek, M.H., Legay, A., Lluch Lafuente, A., Vandin, A.: Statistical model checking for product lines. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA’16), Volume 9952 of LNCS, pp. 114–133. Springer (2016)

  20. Dimovski, A.S., Al-Sibahi, A.S., Brabrand, C., Wąsowski, A.: Efficient family-based model checking via variability abstractions. Int. J. Softw. Tools Technol. Transf. 5(19), 585–603 (2017)

    Article  Google Scholar 

  21. Lochau, M., Mennicke, S., Baller, H., Ribbeck, L.: Incremental model checking of delta-oriented software product lines. J. Log. Algebr. Methods Program. 85(1), 245–267 (2016)

    Article  MathSciNet  Google Scholar 

  22. Muschevici, R., Proença, J., Clarke, D.: Feature nets: behavioural modelling of software product lines. Softw. Sys. Model. 15(4), 1181–1206 (2016)

    Article  Google Scholar 

  23. ter Beek, M.H., de Vink, E.P., Willemse, T.A.C.: Family-based model checking with mCRL2. In: Huisman, M., Rubin, J. (eds.) Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering (FASE’17), Volume 10202 of LNCS, pp. 387–405. Springer (2017)

  24. ter Beek, M.H., Damiani, F., Lienhardt, M., Mazzanti, F., Paolini, L.: Static analysis of featured transition systems. In: Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC’19), pp. 39–51. ACM (2019)

  25. Cordy, M., Schobbens, P.-Y., Heymans, P., Legay, A.: Behavioural modelling and verification of real-time software product lines. In: Proceedings of the 16th International Software Product Line Conference (SPLC’12), pp. 66–75. ACM (2012)

  26. Cordy, M., Schobbens, P.-Y., Heymans, P., Legay, A.: Beyond boolean product-line model checking: dealing with feature attributes and multi-features. In: Proceedings of the 35th International Conference on Software Engineering (ICSE’13), pp. 472–481. IEEE (2013)

  27. Ghezzi, C., Sharifloo, A.M.: Model-based verification of quantitative non-functional properties for software product lines. Inf. Softw. Technol. 55(3), 508–524 (2013)

    Article  Google Scholar 

  28. Kowal, M., Schaefer, I., Tribastone, M.: Family-based performance analysis of variant-rich software systems. In: Gnesi, S., Rensink, A. (eds.) Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE’14), Volume 8411 of LNCS, pp. 94–108. Springer (2014)

  29. Rodrigues, G.N., Alves, V., Nunes, V., Lanna, A., Cordy, M., Schobbens, P.-Y., Molzam Sharifloo, A., Legay, A.: Modeling and verification for probabilistic properties in software product lines. In: Proceedings of the 16th International Symposium on High-Assurance Systems Engineering (HASE’15), pp. 173–180. IEEE (2015)

  30. Chrszon, P., Dubslaff, C., Klüppelholz, S., Baier, C.: ProFeat: feature-oriented engineering for family-based probabilistic model checking. Form. Asp. Comput. 30(1), 45–75 (2018)

    Article  MathSciNet  Google Scholar 

  31. ter Beek, M.H., Legay, A., Lluch Lafuente, A., Vandin, A.: A framework for quantitative modeling and analysis of highly (re)configurable systems. IEEE Trans. Softw. Eng. (2018). https://doi.org/10.1109/TSE.2018.2853726

    Article  Google Scholar 

  32. Vandin, A., ter Beek, M.H., Legay, A., Lluch Lafuente, A.: QFLan: a tool for the quantitative analysis of highly reconfigurable systems. In: Havelund, K., Peleska, J., Roscoe, B., de Vink, E.P. (eds.) Proceedings of the 22nd International Symposium on Formal Methods (FM’18), Volume 10951 of LNCS, pp. 329–337. Springer (2018)

  33. ter Beek, M.H., Legay, A.: Quantitative Variability Modeling and Analysis. In: Perrouin, G., Weyns, D. (eds.) Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS’19), pp. 13:1–13:2. ACM (2019)

  34. Luthmann, L., Gerecht, T., Lochau, M.: Sampling strategies for product lines with unbounded parametric real-time constraints. Trans. Found. Mastering Chang., in this volume, 2 (2018)

  35. Cordy, M., Legay, A.: Verification and abstraction of real-time variability-intensive systems. Trans. Found. Mastering Chang., in this volume, 2 (2018)

  36. Herrmann, L., Küttler, M., Stumpf, T., Baier, C., Härtig, H., Klüppelholz, S.: Configuration of inter-process communication with probabilistic model checking. Trans. Found. Mastering Chang., in this volume, 2 (2018)

  37. Fahrenberg, U., Legay, A.: Quantitative properties of featured automata. Trans. Found. Mastering Chang., in this volume, 2 (2018)

  38. Basile, D.: Applying supervisory control synthesis to priced featured automata and energy problems. Trans. Found. Mastering Chang., in this volume, 2 (2018)

  39. Damiani, F., Lienhardt, M., Paolini, L.: Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. Trans. Found. Mastering Chang., in this volume, 2 (2018)

  40. Borba, P., Cohen, M.B., Legay, A., Wąsowski, A.: Analysis, test and verification in the presence of variability (Dagstuhl seminar 13091). Dagstuhl Rep. 3(2), 144–170 (2013)

    Google Scholar 

  41. Schaefer, I., ter Beek, M.H.: Fomal methods and analyses in software product line engineering. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change (ISoLA’14), Volume 8802 of LNCS, pp. 253–256. Springer (2014)

  42. ter Beek, M.H., Clarke, D., Schaefer, I.: Editorial preface for the JLAMP special issue on formal methods for software product line engineering. J. Log. Algebr. Methods Program. 85(1), 123–124 (2016)

    Article  Google Scholar 

  43. ter Beek, M.H., Gnesi, S., Latella, D., Massink, M.: Towards automatic decision support for bike-sharing system design. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) Software Engineering and Formal Methods: Revised Selected Papers of the SEFM 2015 Collocated Workshops—ATSE, HOFM, MoKMaSD, and VERY*SCART, Volume 9509 of LNCS, pp. 266–280. Springer (2015)

  44. Nouri, A., Bozga, M., Molnos, A., Legay, A., Bensalem, S.: ASTROLABE: a rigorous approach for system-level performance modeling and analysis. ACM Trans. Embed. Comput. Syst. 15(2), 31:1–31:26 (2016)

    Article  Google Scholar 

  45. van Beek, D.A., Fokkink, W.J., Hendriks, D., Hofkamp, A., Markovski, J., van de Mortel-Fronczak, J.M., Reniers, M.A.: CIF 3: model-based engineering of supervisory controllers. In: Ábrahám, E., Havelund, K. (eds.) Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’14), Volume 8413 of LNCS, pp. 575–580. Springer (2014)

  46. ter Beek, M.H., Reniers, M.A., de Vink, E.P.: Supervisory controller synthesis for product lines using CIF 3. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA’16), Volume 9952 of LNCS, pp. 856–873. Springer (2016)

  47. Chesta, C., Damiani, F., Dobriakova, L., Guernieri, M., Martini, S., Nieke, M., Rodrigues, V., Schuster, S.: A toolchain for delta-oriented modeling of software product lines. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (ISoLA’16), Volume 9953 of LNCS, pp. 497–511. Springer (2016)

Download references

Acknowledgements

We would like to thank all authors for their contributions and the reviewers of this Special Section for their reviews.

Author information

Authors and Affiliations

  1. ISTI–CNR, Pisa, Italy

    Maurice H. ter Beek

  2. Université Catholique de Louvain, Louvain-la-Neuve, Belgium

    Axel Legay

Authors
  1. Maurice H. ter Beek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Axel Legay
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maurice H. ter Beek.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

ter Beek, M.H., Legay, A. Quantitative variability modelling and analysis. Int J Softw Tools Technol Transfer 21, 607–612 (2019). https://doi.org/10.1007/s10009-019-00535-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-019-00535-1

Keywords

Search

Navigation