Maurice H. ter Beek
Klaus Schmid
ABSTRACT
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.
- Andreas Abele, Yiannis Papadopoulos, David Servat, Martin Törngren, and Matthias Weber. 2010. The CVM Framework - A Prototype Tool for Compositional Variability Management. In Proceedings of the 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'10) (ICB Research Report), David Benavides, Don S. Batory, and Paul Grünbacher (Eds.), Vol. 37. Universität Duisburg-Essen, 101--105.Google Scholar
- Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France. 2013. FAMILIAR: A domain-specific language for large scale management of feature models. Science of Computer Programming 78, 6 (2013), 657--681. Google ScholarDigital Library
- Ali Fouad Al-Azzawi. 2018. PyFML - A Textual Language For Feature Modeling. International Journal of Software Engineering & Applications 9, 1 (2018), 41--53.Google ScholarCross Ref
- Mauricio Alférez, Mathieu Acher, José A. Galindo, Benoit Baudry, and David Benavides. 2019. Modeling variability in the video domain: language and experience report. Software Quality Journal 27, 1 (2019), 307--347. Google ScholarDigital Library
- Timo Asikainen, Tomi Männistö, and Timo Soininen. 2006. A Unified Conceptual Foundation for Feature Modelling. In Proceedings of the 10th International Software Product Line Conference (SPLC'06). IEEE, 31--40. Google ScholarDigital Library
- Don S. Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Proceedings of the 9th International Software Product Lines Conference (SPLC'05) (LNCS), Henk Obbink and Klaus Pohl (Eds.), Vol. 3714. Springer, 7--20. Google ScholarDigital Library
- Maurice H. ter Beek and Axel Legay. 2019. Quantitative Variability Modeling and Analysis. In Proceedings of the 13th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'19). ACM, 13:1--13:2. Google ScholarDigital Library
- Maurice H. ter Beek and Axel Legay. 2019. Quantitative Variability Modeling and Analysis. International Journal on Software Tools for Technology Transfer (2019).Google Scholar
- Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, and Andrea Vandin. 2018. A framework for quantitative modeling and analysis of highly (re)configurable systems. IEEE Transactions in Software Engineering (2018).Google Scholar
- Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, and Andrea Vandin. 2018. QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. In Proceedings of the 22nd International Symposium on Formal Methods (FM'18) (LNCS), Klaus Havelund, Jan Peleska, Bill Roscoe, and Erik de Vink (Eds.), Vol. 10951. Springer, 329--337.Google Scholar
- Thorsten Berger, Ştefan Stănciulescu, Ommund Øgård, Øystein Haugen, Bo Larsen, and Andrzej Wąsowski. 2014. To Connect or Not to Connect: Experiences from Modeling Topological Variability. In Proceedings of the 18th International Software Product Line Conference (SPLC'14). ACM, 330--339. Google ScholarDigital Library
- Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wąsowski, and Krzysztof Czarnecki. 2013. A Study of Variability Models and Languages in the Systems Software Domain. IEEE Transactions on Software Engineering 39, 12 (2013), 1611--1640. Google ScholarDigital Library
- Kacper Bąk, Krzysztof Czarnecki, and Andrzej Wąsowski. 2010. Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled. In Proceedings of the 3rd International Conference on Software Language Engineering (SLE'10) (LNCS), Brian A. Malloy, Steffen Staab, and Mark van den Brand (Eds.), Vol. 6563. Springer, 102--122. Google ScholarDigital Library
- Jan Bosch. 2009. From Software Product Lines to Software Ecosystems. In Proceedings of the 13th International Software Product Line Conference (SPLC'09). Carnegie Mellon University, 111--119. Google ScholarDigital Library
- Hendrik Brummermann, Markus Keunecke, and Klaus Schmid. 2012. Formalizing Distributed Evolution of Variability in Information System Ecosystems. In Proceedings of the 6th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'12). ACM, 11--19. Google ScholarDigital Library
- Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, and Rudolf Schlatte. 2012. Variability Modelling in the ABS Language. In Proceedings of the 9th International Symposium on Formal Methods for Components and Objects (FMCO'10) (LNCS), Bernhard Aichernig, Frank de Boer, and Marcello Bonsangue (Eds.), Vol. 6957. Springer, 204--224. Google ScholarDigital Library
- Andreas Classen, Quentin Boucher, and Patrick Heymans. 2011. A text-based approach to feature modelling: Syntax and semantics of TVL. Science of Computer Programming 11, 12 (2011), 1130--1143. Google ScholarDigital Library
- Krzysztof Czarnecki, Paul Grünbacher, Rick Rabiser, Klaus Schmid, and Andrzej Wąsowski. 2012. Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches. In Proceedings of the 6th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'12). ACM, 173--182. Google ScholarDigital Library
- Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2005. Staged Configuration through Specialization and Multi-Level Configuration of Feature Models. Software Process Improvement and Practice 10, 2 (2005), 143--169.Google ScholarCross Ref
- Eelco Dolstra, Gert Florijn, Merijn de Jonge, and Eelco Visser. 2003. Capturing Timeline Variability with Transparent Configuration Environments. In ICSE Workshop on Software Variability Management (SVM'03), Peter Knauber and Jan Bosch (Eds.). IEEE.Google Scholar
- Holger Eichelberger, Christian Kröher, and Klaus Schmid. 2013. An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability. In Proceedings of the 13th International Conference on Software Reuse (ICSR'13) (LNCS), John Favaro and Maurizio Morisio (Eds.), Vol. 7925. Springer, 32--48.Google ScholarCross Ref
- Holger Eichelberger, Cui Qin, Roman Sizonenko, and Klaus Schmid. 2016. Using IVML to Model the Topology of Big Data Processing Pipelines. In Proceedings of the 20th International Systems and Software Product Line Conference (SPLC'16). ACM, 204--208. Google ScholarDigital Library
- Holger Eichelberger and Klaus Schmid. 2015. Mapping the design-space of textual variability modeling languages: a refined analysis. International Journal on Software Tools for Technology Transfer 17, 5 (2015), 559--584. Google ScholarDigital Library
- Sascha El-Sharkawy, Stephan Dederichs, and Klaus Schmid. 2012. From Feature Models to Decision Models and Back Again: An Analysis Based on Formal Transformations. In Proceedings of the 16th International Software Product Line Conference (SPLC'12). ACM, 126--135. Google ScholarDigital Library
- Sascha El-Sharkawy, Adam Krafczyk, and Klaus Schmid. 2015. Analysing the Kconfig Semantics and Its Analysis Tools. In Proceedings of the 14th International Conference on Generative Programming (GPCE'15). ACM, 45--54. Google ScholarDigital Library
- Martin Fowler. 2010. Domain Specific Languages. Addison-Wesley Professional. Google ScholarDigital Library
- Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michał Antkiewicz, Krzysztof Czarnecki, and Andrzej Wąsowski. 2019. Clafer: Lightweight Modeling of Structure, Behaviour, and Variability. The Art, Science, and Engineering of Programming 3, 1 (2019), 2:1--2:62.Google Scholar
- Kyo C. Kang, Sholom G. Cohen, James A. Hess, William E. Novak, and A. Spencer Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21. Carnegie Mellon University.Google Scholar
- KConfig Language {n.d.}. http://kernel.org/doc/Documentation/kbuild/kconfig-language.txt.Google Scholar
- Markus Keunecke, Hendrik Brummermann, and Klaus Schmid. 2013. The Feature Pack Approach: Systematically Managing Implementations in Software Ecosystems. In Proceedings of the 8th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'14). ACM, 20:1--20:7. Google ScholarDigital Library
- Anna-Lena Lamprecht, Stefan Naujokat, and Ina Schaefer. 2013. Variability Management beyond Feature Models. IEEE Computer 46, 11 (2013), 48--54. Google ScholarDigital Library
- Marcilio Mendonça, Moises Branco, and Donald Cowan. 2009. S.P.L.O.T. - Software Product Lines Online Tools. In Companion Proceedings of the 24th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'09). ACM, 761--762. Google ScholarDigital Library
- Marcilio Mendonça, Andrzej Wąsowski, and Krzysztof Czarnecki. 2009. SAT-based Analysis of Feature Models is Easy. In Proceedings of the 13th International Software Product Line Conference (SPLC'09). Carnegie Mellon University, 231--240. Google ScholarDigital Library
- Rick Rabiser, Klaus Schmid, Martin Becker, Goetz Botterweck, Matthias Galster, Iris Groher, and Danny Weyns. 2018. A Study and Comparison of Industrial vs. Academic Software Product Line Research Published at SPLC. In Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC'18). ACM, 14--24. Google ScholarDigital Library
- Marko Rosenmüller, Norbert Siegmund, Thomas Thüm, and Gunter Saake. 2011. Multi-Dimensional Variability Modeling. In Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems (VaMoS'11). ACM, 11--20. Google ScholarDigital Library
- Klaus Schmid. 2010. Variability Modeling for Distributed Development - A Comparison with established practice. In Proceedings of the 14th International Conference on Software Product Line Engineering (SPLC'10) (LNCS), Jan Bosch and Jaejoon Lee (Eds.), Vol. 6287. Springer, 155--165. Google ScholarDigital Library
- Klaus Schmid. 2013. Variability Support for Variability-Rich Software Ecosystems. In Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE'13). IEEE, 5--8.Google ScholarCross Ref
- Klaus Schmid and Holger Eichelberger. 2008. Model-Based Implementation of Meta-Variability Constructs: A Case Study using Aspects. In Proceedings of the 2nd International Workshop on Variability Modeling of Software-intensive Systems (VAMOS'08) (ICB Research Report), Patrick Heymans, Kyo C. Kang, Andreas Metzger, and Klaus Pohl (Eds.), Vol. 22. Universität Duisburg-Essen, 63--71.Google Scholar
- Klaus Schmid, Christian Kröher, and Sascha El-Sharkawy. 2018. Variability Modeling with the Integrated Variability Modeling Language (IVML) and EASy-producer. In Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC'18). ACM, 306--306. Google ScholarDigital Library
- Klaus Schmid, Rick Rabiser, and Paul Grünbacher. 2011. A Comparison of Decision Modeling Approaches in Product Lines. In Proceedings of the 5th International Workshop on Variability Modeling of Software-intensive Systems (VaMoS'11). ACM, 119--126. Google ScholarDigital Library
- Pierre-Yves Schobbens, Patrick Heymans, and Jean-Christophe Trigaux. 2006. Feature Diagrams: A Survey and a Formal Semantics. In Proceedings of the 14th International Requirements Engineering Conference (RE'06). IEEE, 139--148. Google ScholarDigital Library
- Arie van Deursen and Paul Klint. 2002. Domain-Specific Language Design Requires Feature Descriptions. Journal of computing and information technology 10, 1 (2002), 1--17.Google ScholarCross Ref
- Bart Veer and John Dallaway. {n.d.}. The eCos Component Writer's Guide. http://ecos.sourceware.org/docs-latest/cdl-guide/cdl-guide.html.Google Scholar
- Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, and Ina Schaefer. 2013. The PLA Model: On the Combination of Product-Line Analyses. In Proceedings of the 7th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'13). ACM, 14:1--14:8. Google ScholarDigital Library
- Jingang Zhou, Dazhe Zhao, Li Xu, and Jiren Liu. 2012. Do We Need Another Textual Language for Feature Modeling? A Preliminary Evaluation on the XML Based Approach. In Software Engineering Research, Management and Applications 2012, Roger Lee (Ed.). Studies in Computational Intelligence, Vol. 430. Springer, 97--111.Google Scholar
Index Terms
- Textual Variability Modeling Languages: An Overview and Considerations
Recommendations
Yet another textual variability language?: a community effort towards a unified language
SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume AVariability models are commonly used to model commonalities and variability in a product line. There is a large variety of textual formats to represent and store variability models. This variety causes overhead to researchers and practitioners as they ...
Mapping the design-space of textual variability modeling languages: a refined analysis
Variability modeling is a major part of modern product line engineering. Graphical or table-based approaches to variability modeling are focused around abstract models and specialized tools to interact with these models. However, more recently textual ...
A systematic analysis of textual variability modeling languages
SPLC '13: Proceedings of the 17th International Software Product Line ConferenceIndustrial variability models tend to grow in size and complexity due to ever-increasing functionality and complexity of software systems. Some authors report on variability models specifying several thousands of variabilities. However, traditional ...
Comments