Skip to main content
SpringerLink
Log in

On the Need of Safe Software Product Line Architectures

  • Conference paper
Software Architecture (ECSA 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6285))

Included in the following conference series:

Abstract

A Software Product Line (SPL) is a family of related software systems distinguished by the different sets of features each system provides. Over the last decade, the substantial benefits of SPL practices have been extensively documented and corroborated both in academia and industry. Several architecture methods have been proposed that employ different artifacts for expressing the components of a SPL, their properties and relationships. Of crucial importance for any SPL architecture method is to guarantee that the variability, for instance as expressed in feature models, is not only preserved but also kept consistent across all artifacts used. In this research challenge paper we argue that Safe Composition – the guarantee that all programs of a product line are type safe – can be leveraged to address this guarantee for structural properties of SPL architectures and the challenges that that entails.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Batory, D.S., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. IEEE Trans. Software Eng. 30(6), 355–371 (2004)

    Article  Google Scholar 

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

    Book  MATH  Google Scholar 

  3. Bosch, J.: Design and Use of Software Architectures. In: Adopting and evolving a product-line approach, Addison-Wesley, Reading (2000)

    Google Scholar 

  4. van der Linden, F.J., Schimd, K., Rommes, E.: Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer, Heidelberg (2007)

    Book  Google Scholar 

  5. Svahnberg, M., van Gurp, J., Bosch, J.: A taxonomy of variability realization techniques. Softw., Pract. Exper. 35(8), 705–754 (2005)

    Article  Google Scholar 

  6. Taylor, R.N., Medvidovic, N., Dashofy, E.: Software Architecture: Foundations, Theory, and Practice. John Wiley & Sons, Chichester (2009)

    Book  Google Scholar 

  7. Perry, D.E.: Generic architecture descriptions for product lines. In: van der Linden, F.J. (ed.) ESPRIT ARES. LNCS, vol. 1429, pp. 51–56. Springer, Heidelberg (1998)

    Google Scholar 

  8. Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)

    Google Scholar 

  9. Thaker, S., Batory, D.S., Kitchin, D., Cook, W.R.: Safe composition of product lines. In: Consel, C., Lawall, J.L. (eds.) GPCE, pp. 95–104. ACM, New York (2007)

    Chapter  Google Scholar 

  10. Groher, I., Völter, M.: Aspect-oriented model-driven software product line engineering. T. Aspect-Oriented Software Development VI 6, 111–152 (2009)

    Article  Google Scholar 

  11. Gomaa, H.: Designing Software Product Lines with UML. In: From Use Cases to Pattern-Based Software Architectures, Addison-Wesley, Reading (2004)

    Google Scholar 

  12. Zhang, H., Jarzabek, S.: Xvcl: a mechanism for handling variants in software product lines. Sci. Comput. Program 53(3), 381–407

    Google Scholar 

  13. Batory, D.: AHEAD Tool Suite (2008), http://www.cs.utexas.edu/users/schwartz/ATS.html

  14. Mezini, M., Ostermann, K.: Variability management with feature-oriented programming and aspects. In: Taylor, R.N., Dwyer, M.B. (eds.) SIGSOFT FSE, pp. 127–136. ACM, New York (2004)

    Google Scholar 

  15. Jayaraman, P., Whittle, J., Elkhodary, A., Gomaa, H.: Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 151–165. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. Kästner, C., Apel, S., Kuhlemann, M.: A model of refactoring physically and virtually separated features. In: Siek, J.G. (ed.) GPCE, pp. 157–166. ACM, New York (2009)

    Chapter  Google Scholar 

  17. Lopez-Herrejon, R.E., Rivera, J.E.: Realizing feature oriented software development with equational logic: An exploratory study. In: Vallecillo, A., Sagardui, G. (eds.) JISBD, pp. 269–274 (2009)

    Google Scholar 

  18. Bosch, J.: Software product families: Towards compositionality. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 1–10. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  19. Bosch, J., Bosch-Sijtsema, P.: From integration to composition: On the impact of software product lines, global development and ecosystems. Journal of Systems and Software 83(1), 67–76 (2010)

    Article  Google Scholar 

  20. Dashofy, E.M., van der Hoek, A., Taylor, R.N.: A comprehensive approach for the development of modular software architecture description languages. ACM Trans. Softw. Eng. Methodol. 14(2), 199–245 (2005)

    Article  Google Scholar 

  21. Pinto, M., Fuentes, L., Valenzuela, J.A., Pires, P.F., Delicato, F.C., Marinho, E.: On the need of architectural patterns in aosd for software evolution. In: [29], pp. 245–248

    Google Scholar 

  22. Loughran, N., Sánchez, P., Garcia, A., Fuentes, L.: Language support for managing variability in architectural models. In: Pautasso, C., Tanter, É. (eds.) SC 2008. LNCS, vol. 4954, pp. 36–51. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  23. Adachi, E., Batista, T., Kulesza, U., Medeiros, A.L., Chavez, C., Garcia, A.: Variability management in aspect-oriented architecture description languages: An integrated approach, pp. 1–11 (2009)

    Google Scholar 

  24. Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated analysis of feature models 20 years later: A literature review. Information System (in Press, 2010) (Corrected Proof)

    Google Scholar 

  25. Egyed, A., Wile, D.S.: Support for managing design-time decisions. IEEE Trans. Software Eng. 32(5), 299–314 (2006)

    Article  Google Scholar 

  26. Lopez-Herrejon, R.E., Egyed, A.: Detecting inconsistencies in multi-view models with variability. In: ECMFA (to appear, 2010)

    Google Scholar 

  27. Etxeberria, L., Mendieta, G.S.: Variability driven quality evaluation in software product lines. In: SPLC, pp. 243–252. IEEE Computer Society, Los Alamitos (2008)

    Google Scholar 

  28. Brito, P.H.S., Rubira, C.M.F., de Lemos, R.: Verifying architectural variabilities in software fault tolerance techniques. In: [29], pp. 231–240

    Google Scholar 

  29. Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009, Cambridge, UK, September 14-17. IEEE, Los Alamitos (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Systems Engineering and Automation, Johannes Kepler University Linz, Austria

    Roberto E. Lopez-Herrejon & Alexander Egyed

Authors
  1. Roberto E. Lopez-Herrejon
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander Egyed
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Development Group, IT University of Copenhagen, Rued Langgaards, Vej 7, 2300, Copenhagen, S, Denmark

    Muhammad Ali Babar

  2. Computational and Information Sciences, Pacific Northwest National Laboratory, MS: K7-90, Richland, PO Box 999, 99352, WA, USA

    Ian Gorton

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lopez-Herrejon, R.E., Egyed, A. (2010). On the Need of Safe Software Product Line Architectures. In: Babar, M.A., Gorton, I. (eds) Software Architecture. ECSA 2010. Lecture Notes in Computer Science, vol 6285. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15114-9_48

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15114-9_48

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15113-2

  • Online ISBN: 978-3-642-15114-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation