Skip to main content
SpringerLink
Log in

Model Superimposition in Software Product Lines

  • Conference paper
Theory and Practice of Model Transformations (ICMT 2009)

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

Abstract

In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to merge code pieces belonging to different features. The advent of model-driven development raises the question of how to support the variability of software product lines in modeling techniques. We propose to use superimposition as a model composition technique in order to support variability. We analyze the feasibility of superimposition for model composition, offer corresponding tool support, and discuss our experiences with three case studies (including an industrial case study).

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. Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, SEI, CMU (1990)

    Google Scholar 

  2. Whittle, J., Araujo, J.: Scenario Modelling with Aspects. IEE Software 151, 157–172 (2004)

    Article  Google Scholar 

  3. Jossic, A., et al.: Model Integration with Model Weaving: A Case Study in System Architecture. In: Proc. Int. Conf. Systems Engineering and Modeling, pp. 79–84. IEEE CS, Los Alamitos (2007)

    Google Scholar 

  4. Sinnema, M., Deelstra, S.: Classifying Variability Modeling Techniques. Inf. Softw. Technol. 49, 717–739 (2007)

    Article  Google Scholar 

  5. Trujillo, S., Batory, D., Díaz, O.: Feature Oriented Model Driven Development: A Case Study for Portlets. In: Proc. Int. Conf. Software Engineering, pp. 44–53. IEEE CS, Los Alamitos (2007)

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  8. Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design. The Theme Approach. Addison-Wesley, Reading (2005)

    Google Scholar 

  9. Heidenreich, F., Henriksson, J., Johannes, J., Zschaler, S.: On Controlled Visualisations in Software Product Line Engineering. In: Proc. Int. Workshop Visualisation in Software Product Line Eng., Lero, pp. 335–342. University of Limerick (2008)

    Google Scholar 

  10. Batory, D., Sarvela, J., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE Trans. Software Engineering 30, 355–371 (2004)

    Article  Google Scholar 

  11. Apel, S., Leich, T., Rosenmüller, M., Saake, G.: FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 125–140. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Mezini, M., Ostermann, K.: Variability Management with Feature-Oriented Programming and Aspects. In: Proc. Int. Symp. Foundations of Software Eng., pp. 127–136. ACM Press, New York (2004)

    Google Scholar 

  13. Apel, S., Lengauer, C.: Superimposition: A Language-Independent Approach to Software Composition. In: Pautasso, C., Tanter, É. (eds.) SC 2008. LNCS, vol. 4954, pp. 20–35. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Apel, S., Kästner, C., Lengauer, C.: FeatureHouse: Language-Independent, Automatic Software Composition. In: Proc. Int. Conf. Software Engineering. IEEE CS, Los Alamitos (2009)

    Google Scholar 

  15. Tarr, P., Ossher, H., Harrison, W., Sutton Jr., S.: N Degrees of Separation: Multi-Dimensional Separation of Concerns. In: Proc. Int. Conf. Software Engineering, pp. 107–119. IEEE CS, Los Alamitos (1999)

    Google Scholar 

  16. Bosch, J.: Super-Imposition: A Component Adaptation Technique. Information and Software Technology 41, 257–273 (1999)

    Article  Google Scholar 

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

    Google Scholar 

  18. Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  19. Apel, S., Leich, T., Saake, G.: Aspectual Feature Modules. IEEE Trans. Software Engineering 34, 162–180 (2008)

    Article  Google Scholar 

  20. Anfurrutia, F., Díaz, O., Trujillo, S.: On Refining XML Artifacts. In: Baresi, L., Fraternali, P., Houben, G.-J. (eds.) ICWE 2007. LNCS, vol. 4607, pp. 473–478. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  21. Grose, T., Doney, G., Brodsky, S.: Mastering XMI. OMG Press (2002)

    Google Scholar 

  22. Boronat, A., Carsí, J., Ramos, I., Letelier, P.: Formal Model Merging Applied to Class Diagram Integration. Electron. Notes Theor. Comput. Sci. 166, 5–26 (2007)

    Article  Google Scholar 

  23. Klein, J., Helouet, L., Jezequel, J.: Semantic-Based Weaving of Scenarios. In: Proc. Int. Conf. Aspect-Oriented Software Development, pp. 27–38. ACM Press, New York (2006)

    Chapter  Google Scholar 

  24. Herrmann, C., Krahn, H., Rumpe, B., Schindler, M., Völkel, S.: An Algebraic View on the Semantics of model Composition. In: Proc. Europ. Conf. Model Driven Architecture – Foundations and Applications, pp. 99–113. Springer, Heidelberg (2007)

    Google Scholar 

  25. Czarnecki, K., Pietroszek, K.: Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In: Proc. Int. Conf. Generative Programming and Component Engineering, pp. 211–220. ACM Press, New York (2006)

    Google Scholar 

  26. Jezequel, J.M.: Model Driven Design and Aspect Weaving. Software and Systems Modeling 7, 209–218 (2008)

    Article  Google Scholar 

  27. Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Merging Models with the Epsilon Merging Language (EML). In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 215–229. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  28. Heidenreich, F., Henriksson, J., Johannes, J., Zschaler, S.: On Language-Independent Model Modularisation. Trans. Aspect-Oriented Software Development (2009)

    Google Scholar 

  29. Czarnecki, K., Antkiewicz, M.: Mapping Features to Models: A Template Approach Based on Superimposed Variants. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 422–437. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  30. Kästner, C., Apel, S.: Integrating Compositional and Annotative Approaches for Product Line Engineering. In: Proc. Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, Dept. of Informatics and Mathematics, University of Passau, pp. 35–40 (2008)

    Google Scholar 

  31. Siegmund, N., et al.: Bridging the Gap between Variability in Client Application and Database Schema. In: Proc. Conf. Datenbanksysteme für Business, Technologie und Web, Gesellschaft für Informatik, pp. 297–306 (2009)

    Google Scholar 

  32. Group, O.M.: Unified Modeling Language: Superstructure, Version 2.1.1 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics and Mathematics, University of Passau, Germany

    Sven Apel & Florian Janda

  2. IKERLAN Research Centre, Spain

    Salvador Trujillo

  3. School of Computer Science, University of Magdeburg, Germany

    Christian Kästner

Authors
  1. Sven Apel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Florian Janda
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Salvador Trujillo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Christian Kästner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Heslington, University of York, YO10 5DD, York, United Kingdom

    Richard F. Paige

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Apel, S., Janda, F., Trujillo, S., Kästner, C. (2009). Model Superimposition in Software Product Lines. In: Paige, R.F. (eds) Theory and Practice of Model Transformations. ICMT 2009. Lecture Notes in Computer Science, vol 5563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02408-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02408-5_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02407-8

  • Online ISBN: 978-3-642-02408-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation