skip to main content
10.1145/3442391.3442400acmotherconferencesArticle/Chapter ViewAbstractPublication PagesvamosConference Proceedingsconference-collections
research-article

TRAVART: An Approach for Transforming Variability Models

Published: 09 February 2021 Publication History

Abstract

A large number of variability modeling approaches have been developed including feature modeling, decision modeling, and Orthogonal Variability Modeling (OVM). Multiple variants of each approach have been developed, i.e., there are many different types of feature models. The usefulness of variability modeling approaches has been demonstrated for both research and practice, e.g., to support domain analysis or configuration of products. However, industry still develops their own custom solutions to manage variability and academia frequently proposes new approaches. The growing plethora of modeling approaches, often only described in academic papers, makes it very difficult to find, understand, and eventually pick an existing approach for a specific context or (set of) system(s). In this paper, we present and evaluate TRAVART, an approach for transforming artifacts describing variability, such as variability models. TRAVART is based on generic transformation operations and implemented in specific transformation algorithms. Using TRAVART, researchers and practitioners can experiment with and compare different variability models and switch from one modeling approach to another. We present a feasibility study conducted with several feature models, decision models, and OVMs. Based on this study, we conclude that despite some limitations, our approach can correctly transform one model into the other and also supports a full roundtrip. TRAVART is a good basis to develop further transformations for other types of variability models and an important step towards unifying variability modeling.

References

[1]
Mathieu Acher, Anthony Cleve, Gilles Perrouin, Patrick Heymans, Charles Vanbeneden, Philippe Collet, and Philippe Lahire. 2012. On Extracting Feature Models from Product Descriptions. In Proc. of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems. ACM, 45–54.
[2]
Nele Andersen, Krzysztof Czarnecki, Steven She, and Andrzej Wąsowski. 2012. Efficient Synthesis of Feature Models. In Proc. of the 16th International Software Product Line Conference - Volume 1. ACM, 106–115.
[3]
Taslim Arif, Frank de Boer, Michiel Helvensteijn, Karina Villela, and Peter Wong. 2012. Evaluation of Modeling. Deliverable 5.3 of project FP7-231620 (HATS). Website. http://www.hats-project.eu/sites/default/files/Deliverable5.3.pdf#page=55.
[4]
Rabih Bashroush, Muhammad Garba, Rick Rabiser, Iris Groher, and Goetz Botterweck. 2017. Case tool support for variability management in software product lines. ACM Computing Surveys (CSUR) 50, 1 (2017), 14:1–14:45.
[5]
Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Software Product Lines, Henk Obbink and Klaus Pohl (Eds.). Springer, 7–20.
[6]
Maurice H. ter Beek, Klaus Schmid, and Holger Eichelberger. 2019. Textual Variability Modeling Languages: An Overview and Considerations. In Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B. ACM, New York, NY, USA, 151––157.
[7]
Thorsten Berger, Daniela Lettner, Julia Rubin, Paul Grünbacher, Adeline Silva, Martin Becker, Marsha Chechik, and Krzysztof Czarnecki. 2015. What is a feature?: a qualitative study of features in industrial software product lines. In Proc. of the 19th International Software Product Line Conference. ACM, 16–25.
[8]
Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M Atlee, Martin Becker, Krzysztof Czarnecki, and Andrzej Wąsowski. 2013. A survey of variability modeling in industrial practice. In Proc. of the 7th International Workshop on Variability Modelling of Software-intensive Systems. ACM, 7–14.
[9]
Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wąsowski, and Krzysztof Czarnecki. 2010. Variability modeling in the real: a perspective from the operating systems domain. In Proc. of the IEEE/ACM International Conference on Automated Software Engineering. ACM, 73–82.
[10]
Marco Brambilla, Jordi Cabot, and Manuel Wimmer. 2017. Model-driven software engineering in practice. Synthesis Lectures on Soft. Eng. 3, 1 (2017), 1–207.
[11]
Lianping Chen and Muhammad Ali Babar. 2011. A systematic review of evaluation of variability management approaches in software product lines. Information and Software Technology 53, 4 (2011), 344–362.
[12]
Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, and James F. Terwilliger. 2009. Bidirectional Transformations: A Cross-Discipline Perspective. In Theory and Practice of Model Transformations, Richard F. Paige(Ed.). Springer Berlin Heidelberg, 260–283.
[13]
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 Proc. of the 6th International Workshop on Variability Modeling of Software-Intensive Systems. ACM, 173–182.
[14]
Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2005. Formalizing cardinality-based feature models and their specialization. Software process: Improvement and practice 10, 1 (2005), 7–29.
[15]
Krzysztof Czarnecki and Andrzej Wąsowski. 2007. Feature Diagrams and Logics: There and Back Again. In Proc. of the 11th International Software Product Line Conference. IEEE, 23–34.
[16]
Deepak Dhungana, Paul Grünbacher, and Rick Rabiser. 2011. The DOPLER Meta-Tool for Decision-Oriented Variability Modeling: A Multiple Case Study. Automated Software Engineering 18, 1 (2011), 77–114.
[17]
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 Proc. of the 16th International Software Product Line Conference. ACM, 126–135.
[18]
Kevin Feichtinger, Kristof Meixner, Rick Rabiser, and Stefan Biffl. 2020. Variability Transformation from Industrial Engineering Artifacts: An Example in the Cyber-Physical Production Systems Domain. In Proc. of the 3rd International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), co-located with SPLC 2020. ACM.
[19]
Kevin Feichtinger and Rick Rabiser. 2020. Towards Transforming Variability Models: Usage Scenarios, Required Capabilities and Challenges. In 3rd International Workshop on Languages for Modelling Variability (MODEVAR), co-located with SPLC 2020. ACM, Montréal, Canada, 44–51.
[20]
Kevin Feichtinger and Rick Rabiser. 2020. Variability Model Transformations: Towards Unifying Variability Modeling. In Proc. of the 46th Euromicro Conference on Software Engineering and Advanced Applications. IEEE, Portoroz, Slovenia.
[21]
José A Galindo, Deepak Dhungana, Rick Rabiser, David Benavides, Goetz Botterweck, and Paul Grünbacher. 2015. Supporting distributed product configuration by integrating heterogeneous variability modeling approaches. Information and Software Technology 62 (2015), 78–100.
[22]
Matthias Galster, Danny Weyns, Dan Tofan, Bartosz Michalik, and Paris Avgeriou. 2013. Variability in software systems-a systematic literature review. IEEE Transactions on Software Engineering 40, 3 (2013), 282–306.
[23]
Hassan Gomaa. 2005. Designing software product lines with UML. IEEE.
[24]
Paul Grünbacher, Rick Rabiser, and Deepak Dhungana. 2008. Product Line Tools Are Product Lines Too: Lessons Learned from Developing a Tool Suite. In Proc. of the 23rd IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 351–354.
[25]
Paul Grünbacher, Rick Rabiser, Deepak Dhungana, and Martin Lehofer. 2009. Model-based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences. In Proc. of the 24th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 247–256.
[26]
Øystein Haugen, Andrzej Wąsowski, and Krzysztof Czarnecki. 2013. CVL: common variability language. In Proc. of the 17th International Software Product Line Conference. ACM, 277–277.
[27]
Daniel Hinterreiter, Michael Nieke, Lukas Linsbauer, Christoph Seidl, Herbert Prähofer, and Paul Grünbacher. 2019. Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze, and Replay Software Product Line Evolution. In Proc. of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM, 115–128.
[28]
Jose-Miguel Horcas, Mónica Pinto, and Lidia Fuentes. 2020. Extensible and Modular Abstract Syntax for Feature Modeling Based on Language Constructs. In Proc. of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A. ACM, 1–7.
[29]
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. Carnegie-Mellon Univ., Pittsburgh, Pa, Software Engineering Inst.
[30]
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer. 2017. Is There a Mismatch between Real-World Feature Models and Product-Line Research?. In Proc. of the 2017 11th Joint Meeting on Foundations of Software Engineering. ACM, 291–302.
[31]
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Gunter Saake, and Thomas Leich. 2020. YASA: Yet Another Sampling Algorithm. In Proc. of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. ACM, 1–10.
[32]
Juan De Lara, Esther Guerra, and Jesús Sánchez Cuadrado. 2014. When and how to use multilevel modelling. ACM Transactions on Software Engineering and Methodology (TOSEM) 24, 2(2014), 1–46.
[33]
Jabier Martinez, Wesley KG Assunção, and Tewfik Ziadi. 2017. ESPLA: A catalog of Extractive SPL Adoption case studies. In Proc. of the 21st International Systems and Software Product Line Conference. ACM, 38–41.
[34]
Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer.
[35]
Marcilio Mendonca, Moises Branco, and Donald Cowan. 2009. S.P.L.O.T.: Software Product Lines Online Tools. In Proc. of the 24th ACM SIGPLAN Conference Companion on Object-Oriented Programming Systems Languages and Applications. ACM.
[36]
Sebastian Oster, Florian Markert, and Philipp Ritter. 2010. Automated Incremental Pairwise Testing of Software Product Lines. In Proc. of the 14th International Software Product Line Conference, Jan Bosch and Jaejoon Lee (Eds.). Springer Berlin Heidelberg, 196–210.
[37]
Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, and Yves le Traon. 2010. Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. In Proc. of the Third International Conference on Software Testing, Verification and Validation. 459–468.
[38]
Klaus Pohl, Günter Böckle, and Frank J van der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer Science & Business Media.
[39]
Mikko Raatikainen, Juha Tiihonen, and Tomi Männistö. 2019. Software product lines and variability modeling: A tertiary study. Journal of Systems and Software 149 (2019), 485–510.
[40]
Rick Rabiser, Reinhard Wolfinger, and Paul Grünbacher. 2009. Three-Level Customization of Software Products Using a Product Line Approach. In 2009 42nd Hawaii International Conference on System Sciences. IEEE, 1–10.
[41]
Fabricia Roos-Frantz, David Benavides, Antonio Ruiz-Cortés, André Heuer, and Kim Lauenroth. 2012. Quality-aware analysis in product line engineering with the orthogonal variability model. Software Quality Journal 20, 3-4 (2012), 519–565.
[42]
Fabricia Roos Frantz, David Felipe Benavides Cuevas, and Antonio Ruiz Cortés. 2009. Feature model to orthogonal variability model transformation towards interoperability between tools. In Knowledge Industry Survival Strategy Initiative, Kiss Workshop (ASE 2009), Auckland, New Zealand.
[43]
Klaus Schmid, Rick Rabiser, and Paul Grünbacher. 2011. A comparison of decision modeling approaches in product lines. In Proc. of the 5th International Workshop on Variability Modelling of Software-Intensive Systems. ACM, 119–126.
[44]
Pierre-Yves Schobbens, Patrick Heymans, and Jean-Christophe Trigaux. 2006. Feature diagrams: A survey and a formal semantics. In Proc. of the 14th IEEE International Requirements Engineering Conference. IEEE, 139–148.
[45]
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, and Yves Bontemps. 2007. Generic semantics of feature diagrams. Computer Networks 51, 2 (2007), 456–479.
[46]
Michael Schulze and Robert Hellebrand. 2015. Variability Exchange Language-A Generic Exchange Format for Variability Data. In Software Engineering (Workshops). 71–80.
[47]
Christoph Seidl, Tim Winkelmann, and Ina Schaefer. 2016. A software product line of feature modeling notations and cross-tree constraint languages. In Modellierung 2016, Andreas Oberweis and Ralf Reussner (Eds.). Gesellschaft für Informatik e.V., Bonn, 157–172.
[48]
Samuel Sepúlveda, Carlos Cares, and Cristina Cachero. 2012. Towards a unified feature metamodel: A systematic comparison of feature languages. In Proc. of the 7th Iberian Conference on Information Systems and Technologies. 1–7.
[49]
Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wąsowski, and Krzysztof Czarnecki. 2010. The Variability Model of The Linux Kernel. In Proc. of the 5th International Workshop on Variability Modelling of Software-intensive Systems. ACM, 45–51.
[50]
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, and Gunter Saake. 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1 (2014), 6:1–6:45.
[51]
Thomas Thüm, Christoph Seidl, and Ina Schaefer. 2019. On Language Levels for Feature Modeling Notations. In Proc. of the 23rd International Systems and Software Product Line Conference - Volume B. ACM, 158––161.
[52]
Bart Veer and John Dallaway. 2011. The eCos Component Writer’s Guide. Manual, available online at http://www.gaisler.com/doc/ecos-2.0-cdl-guide-a4.pdf.
[53]
Bernhard Westfechtel and Sandra Greiner. 2018. From single-to multi-variant model transformations: trace-based propagation of variability annotations. In Proc. of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. 46–56.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
VaMoS '21: Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems
February 2021
150 pages
ISBN:9781450388245
DOI:10.1145/3442391
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 February 2021

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Software product lines
  2. decision models
  3. feature models
  4. orthogonal variability models
  5. variability modeling

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Conference

VaMoS'21

Acceptance Rates

Overall Acceptance Rate 66 of 147 submissions, 45%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)90
  • Downloads (Last 6 weeks)9
Reflects downloads up to 14 Sep 2024

Other Metrics

Citations

Cited By

View all

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media