Textual Variability Modeling Languages: An Overview and Considerations

During the three decades since the invention of the first variability modeling approach [28], there have been multiple attempts to introduce advanced variability modeling capabilities. More recently, we have seen increased attention on textual variability modeling languages. In this paper, we summarize the main capabilities of state of the art textual variability modeling languages, based on [23], including updates regarding more recent work. Based on this integrated characterization, we provide a discussion of additional concerns, opportunities and challenges that are relevant for designing future (textual) variability modeling languages. The paper also summarizes relevant contributions by the authors as input to further discussions on future (textual) variability modeling languages.

[1]  Axel Legay,et al.  A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems , 2017, IEEE Transactions on Software Engineering.

[2]  Axel Legay,et al.  Quantitative variability modelling and analysis , 2019, International Journal on Software Tools for Technology Transfer.

[3]  Axel Legay,et al.  Quantitative Variability Modeling and Analysis , 2019, VaMoS.

[4]  Michal Antkiewicz,et al.  Clafer: Lightweight Modeling of Structure, Behaviour, and Variability , 2018, Art Sci. Eng. Program..

[5]  Sascha El-Sharkawy,et al.  Variability modeling with the integrated variability modeling language (IVML) and EASy-producer , 2018, SPLC.

[6]  Danny Weyns,et al.  A study and comparison of industrial vs. academic software product line research published at SPLC , 2018, SPLC.

[7]  Axel Legay,et al.  QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems , 2018, FM.

[8]  A. F. Al-Azzawi.  PyFml - a Textual Language For Feature Modeling , 2018, ArXiv.

[9]  Mathieu Acher,et al.  Modeling variability in the video domain: language and experience report , 2018, Software Quality Journal.

[10]  Klaus Schmid,et al.  Using IVML to model the topology of big data processing pipelines , 2016, SPLC.

[11]  Klaus Schmid,et al.  Analysing the Kconfig semantics and its analysis tools , 2015, GPCE.

[12]  Klaus Schmid,et al.  Mapping the design-space of textual variability modeling languages: a refined analysis , 2014, International Journal on Software Tools for Technology Transfer.

[13]  Andrzej Wasowski,et al.  To connect or not to connect: experiences from modeling topological variability , 2014, SPLC.

[14]  Klaus Schmid,et al.  The feature pack approach: systematically managing implementations in software ecosystems , 2014, VaMoS '14.

[15]  Krzysztof Czarnecki,et al.  A Study of Variability Models and Languages in the Systems Software Domain , 2013, IEEE Transactions on Software Engineering.

[16]  Anna-Lena Lamprecht,et al.  Variability Management beyond Feature Models , 2013, Computer.

[17]  Klaus Schmid,et al.  An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability , 2013, ICSR.

[18]  Mathieu Acher,et al.  FAMILIAR: A domain-specific language for large scale management of feature models , 2013, Sci. Comput. Program..

[19]  Klaus Schmid.  Variability support for variability-rich software ecosystems , 2013, 2013 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE).

[20]  Sven Apel,et al.  The PLA model: on the combination of product-line analyses , 2013, VaMoS '13.

[21]  Sascha El-Sharkawy,et al.  From feature models to decision models and back again an analysis based on formal transformations , 2012, SPLC '12.

[22]  Klaus Schmid,et al.  Formalizing distributed evolution of variability in information system ecosystems , 2012, VaMoS.

[23]  Krzysztof Czarnecki,et al.  Cool features and tough decisions: a comparison of variability modeling approaches , 2012, VaMoS.

[24]  Dazhe Zhao,et al.  Do We Need Another Textual Language for Feature Modeling? - A Preliminary Evaluation on the XML Based Approach , 2012, SERA.

[25]  Andreas Classen,et al.  A text-based approach to feature modelling: Syntax and semantics of TVL , 2011, Sci. Comput. Program..

[26]  Gunter Saake,et al.  Multi-dimensional variability modeling , 2011, VaMoS.

[27]  Klaus Schmid,et al.  A comparison of decision modeling approaches in product lines , 2011, VaMoS.

[28]  Martin Fowler,et al.  Domain-Specific Languages , 2010, The Addison-Wesley signature series.

[29]  Dave Clarke,et al.  Variability Modelling in the ABS Language , 2010, FMCO.

[30]  Krzysztof Czarnecki,et al.  Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled , 2010, SLE.

[31]  Klaus Schmid,et al.  Variability Modeling for Distributed Development - A Comparison with Established Practice , 2010, SPLC.

[32]  Martin Törngren,et al.  The CVM Framework - A Prototype Tool for Compositional Variability Management , 2010, VaMoS.

[33]  Donald D. Cowan,et al.  S.P.L.O.T.: software product lines online tools , 2009, OOPSLA Companion.

[34]  Jan Bosch,et al.  From software product lines to software ecosystems , 2009, SPLC.

[35]  Krzysztof Czarnecki,et al.  SAT-based analysis of feature models is easy , 2009, SPLC.

[36]  Klaus Schmid,et al.  Model-Based Implementation of Meta-Variability Constructs: A Case Study using Aspects , 2008, VaMoS.

[37]  Pierre-Yves Schobbens,et al.  Feature Diagrams: A Survey and a Formal Semantics , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[38]  Tomi Männistö,et al.  A unified conceptual foundation for feature modelling , 2006, 10th International Software Product Line Conference (SPLC'06).

[39]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[40]  Krzysztof Czarnecki,et al.  Staged configuration through specialization and multilevel configuration of feature models , 2005, Softw. Process. Improv. Pract..

[41]  E. Visser,et al.  Capturing Timeline Variability with Transparent Configuration Environments , 2003 .

[42]  Arie van Deursen,et al.  Domain-specific language design requires feature descriptions , 2002 .

[43]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .