ABSTRACT
Feature models are a popular formalism for managing variability in software product lines (SPLs). In practice, developing an SPL can involve modeling a large number of features representing different viewpoints, sub-systems or concerns of the software system. To manage complexity, there is a need to separate, relate and compose several feature models while automating the reasoning on their compositions in order to enable rigorous SPL validation and configuration. In this paper, we propose a Domain-Specific Language (DSL) that is dedicated to the management of feature models and that complements existing tool support. Rationale for this language is discussed and its main constructs are presented through examples. We show how the DSL can be used to realize a non trivial scenario in which multiple SPLs are managed.
- Pohl, K., Böckle, G., van der Linden, F. J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag (2005) Google ScholarDigital Library
- Kang, K., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: Form: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering 5(1) (1998) 143--168 Google ScholarDigital Library
- Batory, D. S.: Feature models, grammars, and propositional formulas. In: SPLC'05. Volume 3714 of LNCS. (2005) 7--20 Google ScholarDigital Library
- Schobbens, P. Y., Heymans, P., Trigaux, J. C., Bontemps, Y.: Generic semantics of feature diagrams. Comput. Netw. 51(2) (2007) 456--479 Google ScholarDigital Library
- Czarnecki, K., Antkiewicz, M.: Mapping features to models: A template approach based on superimposed variants. In: GPCE'05. Volume 3676 of LNCS. (2005) 422--437 Google ScholarDigital Library
- Heidenreich, F., Sanchez, P., Santos, J., Zschaler, S., Alferez, M., Araujo, J., Fuentes, L., amd Ana Moreira, U. K., Rashid, A.: Relating feature models to other models of a software product line: A comparative study of featuremapper and vml*. TAOSD VII, Special Issue on A Common Case Study for Aspect-Oriented Modeling 6210 (2010) 69--114 Google ScholarDigital Library
- Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration through Specialization and Multilevel Configuration of Feature Models. Software Process: Improvement and Practice 10(2) (2005) 143--169Google ScholarCross Ref
- Reiser, M. O., Weber, M.: Multi-level feature trees: A pragmatic approach to managing highly complex product families. Requir. Eng. 12(2) (2007) 57--75 Google ScholarDigital Library
- Hartmann, H., Trew, T.: Using feature diagrams with context variability to model multiple product lines for software supply chains. In: SPLC'08, IEEE (2008) 12--21 Google ScholarDigital Library
- Hartmann, H., Trew, T., Matsinger, A.: Supplier independent feature modelling. In: SPLC'09, IEEE (2009) 191--200 Google ScholarDigital Library
- Grünbacher, P., Rabiser, R., Dhungana, D., Lehofer, M.: Structuring the product line modeling space: Strategies and examples. In: VaMoS'09. (2009) 77--82Google Scholar
- Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated Analysis of Feature Models 20 years Later: a Literature Review. Information Systems, Elsevier (2010) Google ScholarDigital Library
- Thüm, T., Batory, D., Kästner, C.: Reasoning about edits to feature models. In: ICSE'09, IEEE (2009) 254--264 Google ScholarDigital Library
- Acher, M., Collet, P., Lahire, P., France, R.: Composing Feature Models. In: SLE'09. LNCS (2009) 62--81 Google ScholarDigital Library
- Acher, M., Collet, P., Lahire, P., France, R.: Comparing Approaches to Implement Feature Model Composition. In: ECMFA'10. Volume 6138 of LNCS., Springer (2010) Google ScholarDigital Library
- FAMILIAR: FeAture Model scrIpt Language for manIpulation and Automatic Reasoning: http://nyx.unice.fr/projects/familiar/Google Scholar
- Acher, M., Collet, P., Fleurey, F., Lahire, P., Moisan, S., Rigault, J. P.: Modeling Context and Dynamic Adaptations with Feature Models. In: Int'l Workshop [email protected] at Models 2009 (MRT'09). (2009)Google Scholar
- Acher, M., Collet, P., Lahire, P., France, R.: Managing Variability in Workflow with Feature Model Composition Operators. In: SC'10. LNCS, Springer (June 2010) Google ScholarDigital Library
- Tun, T. T., Boucher, Q., Classen, A., Hubaux, A., Heymans, P.: Relating requirements and feature configurations: A systematic approach. In: SPLC'09, IEEE (2009) 201--210 Google ScholarDigital Library
- http://www.pure-systems.com/pure_variants.49.0.htmlGoogle Scholar
- wwwiti.cs.uni-magdeburg.de/iti_db/research/featureide/Google Scholar
- http://www.splot-research.org/Google Scholar
- FaMa: http://www.isa.us.es/fama/Google Scholar
- Xtext: http://www.eclipse.org/Xtext/Google Scholar
- Boucher, Q., Classen, A., Faber, P., Heymans, P.: Introducing TVL, a text-based feature modelling language. In: VaMoS'10. (2010) 159--162Google Scholar
Index Terms
A domain-specific language for managing feature models
Recommendations
Managing feature models with familiar: a demonstration of the language and its tool support
VaMoS '11: Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive SystemsDeveloping software product lines involves modeling a large number of features, usually using feature models, that represent different viewpoints, sub-systems or concerns of the software system. To manage complexity on a large scale, there is a need to ...
Declaratively defining domain-specific language debuggers
GCPE '11Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification ...
Declaratively defining domain-specific language debuggers
GPCE '11: Proceedings of the 10th ACM international conference on Generative programming and component engineeringTool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification ...
Comments