Advertisement

Multi-perspectives on Feature Models

  • Julia Schroeter
  • Malte Lochau
  • Tim Winkelmann
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7590)

Abstract

Domain feature models concisely express commonality and variability among variants of a software product line. For supporting separation of concerns, e.g., due to legal restrictions, technical considerations and business requirements, multi-view approaches restrict the configuration choices on feature models for different stakeholders. However, recent approaches lack a formalization for precise, yet flexible specifications of views that ensure every derivable configuration perspective to obey feature model semantics. Here, we introduce a novel approach for preconfiguring feature models to create multi-perspectives. Such customized perspectives result from composition of various concern-relevant views. A structured view model is used to organize features in view groups, wherein a feature may be contained in multiple views. We provide formalizations for view composition and guaranteed consistency of perspectives w.r.t. feature model semantics. Thereupon, an efficient algorithm to verify consistency for entire multi-perspectives is provided. We present an implementation and evaluate our concepts by means of various experiments.

Keywords

Software Product Lines Feature Models Preconfiguration Customization Automated View Composition 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Choco csp solver website. Internet (April 2012), http://choco.sourceforge.net
  2. 2.
    Software product line online tools (splot) website. Internet (April 2012), http://www.splot-research.org
  3. 3.
    Abbasi, E., Hubaux, A., Heymans, P.: A toolset for feature-based configuration workflows. In: Proceedings of SPLC 2011 (2011)Google Scholar
  4. 4.
    Acher, M., Collet, P., Lahire, P., France, R.: Composing Feature Models. In: van den Brand, M., Gašević, D., Gray, J. (eds.) SLE 2009. LNCS, vol. 5969, pp. 62–81. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  5. 5.
    Acher, M., Collet, P., Lahire, P., France, R.: Slicing feature models. In: Proceedings of ASE 2011 (2011)Google Scholar
  6. 6.
    Acher, M., Collet, P., Lahire, P., France, R.: Separation of Concerns in Feature Modeling: Support and Applications. In: Proceedings of AOSD 2012 (2012)Google Scholar
  7. 7.
    Aydin, E.A., Oguztuzun, H., Dogru, A.H., Karatas, A.S.: Merging multi-view feature models by local rules. In: Proceedings of SERA 2011 (2011)Google Scholar
  8. 8.
    Batory, D.S.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    Benavides, D., Segura, S., Martín-Arroyo, P.T., Cortés, A.R.: Using Java CSP Solvers in the Automated Analyses of Feature Models. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 399–408. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated analysis of feature models 20 years later: A literature review. Information Systems 35 (2010)Google Scholar
  11. 11.
    Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated Reasoning on Feature Models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491–503. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    van den Broek, P., Galvão, I., Noppen, J.: Merging feature models. In: Proceedings of SPLC 2010 (2010)Google Scholar
  13. 13.
    Clarke, D., Proença, J.: Towards a theory of views for feature models. In: Proceedings of FMSPLE 2010 (2010)Google Scholar
  14. 14.
    Classen, A., Hubaux, A., Heymans, P.: A formal semantics for multi-level staged configuration. In: Proceedings of VaMoS 2009 (2009)Google Scholar
  15. 15.
    Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley (2000)Google Scholar
  16. 16.
    Czarnecki, K., Helsen, S., Ulrich, E.: Staged Configuration Using Feature Models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 266–283. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  17. 17.
    Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering (1992)Google Scholar
  18. 18.
    Heidenreich, F., Wende, C.: Bridging the gap between features and models. In: Proceedings of AOPLE 2007 (2007)Google Scholar
  19. 19.
    Heymans, P., Schobbens, P.Y., Trigaux, J.C., Bontemps, Y., Matulevicius, R., Classen, A.: Evaluating formal properties of feature diagram languages. IET Software (2008)Google Scholar
  20. 20.
    Hubaux, A., Heymans, P., Schobbens, P.Y., Deridder, D.: Towards Multi-view Feature-Based Configuration. In: Wieringa, R., Persson, A. (eds.) REFSQ 2010. LNCS, vol. 6182, pp. 106–112. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  21. 21.
    Hubaux, A., Heymans, P., Schobbens, P.Y., Deridder, D., Abbasi, E.: Supporting multiple perspectives in feature-based configuration. Software and Systems Modeling (2011)Google Scholar
  22. 22.
    Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Tech. Rep. CMU/SEI-90-TR-21, Carnegie Mellon University Pittsburgh, Software Engineering Institute (1990)Google Scholar
  23. 23.
    Karataş, A.S., Oğuztüzün, H., Doğru, A.: Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 286–299. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  24. 24.
    Mazo, R., Salinesi, C., Diaz, D., Lora-Michiels, A.: Transforming attribute and clone-enabled feature models into constraint programs over finite domains. In: Proceedings of ENASE 2011 (2011)Google Scholar
  25. 25.
    Nagle, T.T., Holden, R.K.: The strategy and tactics of pricing. Prentice Hall (2002)Google Scholar
  26. 26.
    Nuseibeh, B., Kramer, J., Finkelstein, A.: Viewpoints: meaningful relationships are difficult. In: Proceedings of ICSE 2003 (2003)Google Scholar
  27. 27.
    Ossher, H., Tarr, P.: Multi-dimensional separation of concerns using hyperspaces. Tech. Rep. IBM Research Report 21452, IBM Research (1999)Google Scholar
  28. 28.
    Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer (2005)Google Scholar
  29. 29.
    Reiser, M.O., Weber, M.: Multi-level feature trees. Requirements Engineering 12, 57–75 (2007)CrossRefGoogle Scholar
  30. 30.
    Rosenmüller, M., Siegmund, N.: Automating the configuration of multi software product lines. In: Proceedings of VaMoS 2010 (2010)Google Scholar
  31. 31.
    Rosenmüller, M., Siegmund, N., Thüm, T., Saake, G.: Multi-dimensional variability modeling. In: Proceedings of VaMoS 2011 (2011)Google Scholar
  32. 32.
    Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: A survey and a formal semantics. In: Proceedings of RE 2006 (2006)Google Scholar
  33. 33.
    Schroeter, J., Lochau, M., Winkelmann, T.: Extended version of multi-perspectives on feature models. Tech. Rep. TUD-FI11-07-Dezember 2011, TU Dresden (2011)Google Scholar
  34. 34.
    Schroeter, J., Lochau, M., Winkelmann, T.: Conper: Consistent perspectives on feature models. In: Proceedings of ACME 2012 (2012)Google Scholar
  35. 35.
    Segura, S., Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Automated Merging of Feature Models Using Graph Transformations. In: Lämmel, R., Visser, J., Saraiva, J. (eds.)GTTSE 2008. LNCS, vol. 5235, pp. 489–505. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  36. 36.
    Weiss, D.M., Lai, C.T.R.: Software Product-Line Engineering: A Family-Based Software Development Process. Addison-Wesley Professional (1999)Google Scholar
  37. 37.
    White, J., Dougherty, B., Schmidt, D.C., Benavides, D.: Automated reasoning for multi-step feature model configuration problems. In: Proceedings of SPLC 2009 (2009)Google Scholar
  38. 38.
    Zaid, L.A., Kleinermann, F., Troyer, O.D.: Feature assembly framework: towards scalable and reusable feature models. In: Proccedings of VaMoS 2011 (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Julia Schroeter
    • 1
  • Malte Lochau
    • 2
  • Tim Winkelmann
    • 2
  1. 1.Institute for Software- and Multimedia-TechnologyTU DresdenGermany
  2. 2.Institute for Programming and Reactive SystemsTU BraunschweigGermany

Personalised recommendations