Introduction to the Track on Variability Modeling for Scalable Software Evolution

  • Ferruccio Damiani
  • Christoph Seidl
  • Ingrid Chieh Yu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9953)

Abstract

Information and communication technology today is increasingly integrated into the environment we live in, distributed on cars, appliances and smart infrastructures. The software running on these devices is increasingly individualized, adapted to the preferences and needs of the specific customer and must be able to evolve after deployment by means of software patches. Upgrades are becoming individualized; software patches used to upgrade the software are selected and adapted depending on the configuration and external constraints of the host device. The objective of the European project HyVar is to develop techniques and tools for fast and customizable software design, for the management of highly distributed applications, for continuous software evolution of remote devices, and scalable infrastructure to accommodate a large number of devices. The track Variability Modeling for Scalable Software Evolution aims to foster cooperation opportunities and create synergies between related research directions to address challenges stemming from software variability, evolution, and cloud technology for highly distributed applications in heterogeneous environments. This paper introduces the track and its individual contributions.

References

  1. 1.
    Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R., Konwinski, A., Lee, G., Patterson, D., Rabkin, A., Stoica, I., Zaharia, M.: A view of cloud computing. Commun. ACM 53(4), 50–58 (2010)CrossRefGoogle Scholar
  2. 2.
    Atzori, L., Lera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787–2805 (2010)CrossRefMATHGoogle Scholar
  3. 3.
    Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wasowski, A.: Clafer: unifying class and feature modeling. In: Software and Systems Modeling, pp. 1–35 (2014)Google Scholar
  4. 4.
    Bettini, L., Damiani, F., Schaefer, I.: Compositional type checking of delta-oriented software product lines. Acta Informatica 50, 77–122 (2013). doi:10.1007/s00236-012-0173-z MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Bosch, J.: From software product lines to software ecosystems. In: Proceedings of the 13th International Software Product Line Conference, SPLC (2009)Google Scholar
  6. 6.
    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: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)Google Scholar
  7. 7.
    Stănciulescu, Ş., Rabiser, D., Seidl, C.: A technology-neutral role-based collaboration model for software ecosystems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)Google Scholar
  8. 8.
    Damiani, F., Lienhardt, M.: On type checking delta-oriented product lines. In: Ábrahám, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 47–62. Springer, Heidelberg (2016). doi:10.1007/978-3-319-33693-0_4 CrossRefGoogle Scholar
  9. 9.
    Damiani, F., Lienhardt, M.: Refactoring delta oriented product lines to enforce guidelines for efficient type-checking. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)Google Scholar
  10. 10.
    Damiani, F., Schaefer, I., Winkelmann, T.: Delta-oriented multi software product lines. In: 18th International Software Product Line Conference, SPLC 2014, pp. 232–236 (2014)Google Scholar
  11. 11.
    Hähnle, R., Muschevici, R.: Towards incremental validation of railway systems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)Google Scholar
  12. 12.
    Holl, G., Grünbacher, P., Rabiser, R.: A systematic review and an expert survey on capabilities supporting multi product lines. Inf. Soft. Technol. 54, 828–852 (2012)CrossRefGoogle Scholar
  13. 13.
    Johnsen, E.B., Lin, J.-C., Yu, I.C.: Comparing AWS deployments using model-based predictions. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)Google Scholar
  14. 14.
    Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, DTIC document (1990)Google Scholar
  15. 15.
    Khalilov, E., Ross, J., Antkiewicz, M., Markus Völter, K.C.: Modeling and optimizing automotive electric/electronic (E/E) architectures: towards makingclafer accessible to practitioners. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)Google Scholar
  16. 16.
    Lehman, M.M.: Programs, life cycles, and laws of software evolution. In: Proceedings of the IEEE (1980)Google Scholar
  17. 17.
    Nieke, M., Mauro, J., Seidl, C., Yu, I.C.: User profiles for context-aware reconfiguration in software product lines. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)Google Scholar
  18. 18.
    Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering - Foundations Principles and Techniques. Springer, Berlin/Heidelberg (2005)CrossRefMATHGoogle Scholar
  19. 19.
    Rosà, A., Zheng, Y., Sun, H., Javed, O., Binder, W.: Adaptable runtime monitoring for the java virtual machine. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)Google Scholar
  20. 20.
    Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) Software Product Lines: Going Beyond. LNCS, vol. 6287, pp. 77–91. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  21. 21.
    Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. STTT 14(5), 477–495 (2012)CrossRefGoogle Scholar
  22. 22.
    Schmid, K., Santana de Almeida, E.: Product line engineering. IEEE Softw. 4, 24–30 (2013)CrossRefGoogle Scholar
  23. 23.
    Seidl, C., Schaefer, I., Aßmann, U.: Integrated management of variability in space and time in software families. In Proceedings of the 18th International Software Product Line Conference (SPLC), SPLC 2014 (2014)Google Scholar
  24. 24.
    Svahnberg, M., Bosch, J.: Evolution in software product lines. J. Softw. Maint. Res. Pract. 11(6), 391–422 (1999)CrossRefGoogle Scholar
  25. 25.
    ter Beek, M., Fantechi, A., Gnesi, S., Semini, L.: Variability-based design of services for smart transportation systems. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)Google Scholar
  26. 26.
    van den Berk, I., Jansen, S., Luinenburg, L., Ecosystems, S.: A software ecosystem strategy assessment model. In: Proceedings of the Fourth European Conference on Software Architecture: Companion Volume, pp. 127–134. ACM (2010)Google Scholar
  27. 27.
    Wille, D., Tiede, M., Schulze, S., Seidl, C., Schaefer, I.: Identifying variability in object-oriented code using model-based code mining. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), ISoLA 2016, Heidelberg (2016)Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Ferruccio Damiani
    • 1
  • Christoph Seidl
    • 2
  • Ingrid Chieh Yu
    • 3
  1. 1.University of TorinoTurinItaly
  2. 2.Technische Universität BraunschweigBraunschweigGermany
  3. 3.University of OsloOsloNorway

Personalised recommendations