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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Choco csp solver website. Internet (April 2012), http://choco.sourceforge.net
Software product line online tools (splot) website. Internet (April 2012), http://www.splot-research.org
Abbasi, E., Hubaux, A., Heymans, P.: A toolset for feature-based configuration workflows. In: Proceedings of SPLC 2011 (2011)
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)
Acher, M., Collet, P., Lahire, P., France, R.: Slicing feature models. In: Proceedings of ASE 2011 (2011)
Acher, M., Collet, P., Lahire, P., France, R.: Separation of Concerns in Feature Modeling: Support and Applications. In: Proceedings of AOSD 2012 (2012)
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)
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)
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)
Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated analysis of feature models 20 years later: A literature review. Information Systems 35 (2010)
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)
van den Broek, P., Galvão, I., Noppen, J.: Merging feature models. In: Proceedings of SPLC 2010 (2010)
Clarke, D., Proença, J.: Towards a theory of views for feature models. In: Proceedings of FMSPLE 2010 (2010)
Classen, A., Hubaux, A., Heymans, P.: A formal semantics for multi-level staged configuration. In: Proceedings of VaMoS 2009 (2009)
Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley (2000)
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)
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)
Heidenreich, F., Wende, C.: Bridging the gap between features and models. In: Proceedings of AOPLE 2007 (2007)
Heymans, P., Schobbens, P.Y., Trigaux, J.C., Bontemps, Y., Matulevicius, R., Classen, A.: Evaluating formal properties of feature diagram languages. IET Software (2008)
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)
Hubaux, A., Heymans, P., Schobbens, P.Y., Deridder, D., Abbasi, E.: Supporting multiple perspectives in feature-based configuration. Software and Systems Modeling (2011)
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)
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)
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)
Nagle, T.T., Holden, R.K.: The strategy and tactics of pricing. Prentice Hall (2002)
Nuseibeh, B., Kramer, J., Finkelstein, A.: Viewpoints: meaningful relationships are difficult. In: Proceedings of ICSE 2003 (2003)
Ossher, H., Tarr, P.: Multi-dimensional separation of concerns using hyperspaces. Tech. Rep. IBM Research Report 21452, IBM Research (1999)
Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer (2005)
Reiser, M.O., Weber, M.: Multi-level feature trees. Requirements Engineering 12, 57–75 (2007)
Rosenmüller, M., Siegmund, N.: Automating the configuration of multi software product lines. In: Proceedings of VaMoS 2010 (2010)
Rosenmüller, M., Siegmund, N., Thüm, T., Saake, G.: Multi-dimensional variability modeling. In: Proceedings of VaMoS 2011 (2011)
Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: A survey and a formal semantics. In: Proceedings of RE 2006 (2006)
Schroeter, J., Lochau, M., Winkelmann, T.: Extended version of multi-perspectives on feature models. Tech. Rep. TUD-FI11-07-Dezember 2011, TU Dresden (2011)
Schroeter, J., Lochau, M., Winkelmann, T.: Conper: Consistent perspectives on feature models. In: Proceedings of ACME 2012 (2012)
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)
Weiss, D.M., Lai, C.T.R.: Software Product-Line Engineering: A Family-Based Software Development Process. Addison-Wesley Professional (1999)
White, J., Dougherty, B., Schmidt, D.C., Benavides, D.: Automated reasoning for multi-step feature model configuration problems. In: Proceedings of SPLC 2009 (2009)
Zaid, L.A., Kleinermann, F., Troyer, O.D.: Feature assembly framework: towards scalable and reusable feature models. In: Proccedings of VaMoS 2011 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schroeter, J., Lochau, M., Winkelmann, T. (2012). Multi-perspectives on Feature Models. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2012. Lecture Notes in Computer Science, vol 7590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33666-9_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-33666-9_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33665-2
Online ISBN: 978-3-642-33666-9
eBook Packages: Computer ScienceComputer Science (R0)