short-paper

FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models

Authors:

José A. Galindo,

Jose-Miguel Horcas,

Alexander Felferning,

David Fernandez-Amoros,

David BenavidesAuthors Info & Claims

SPLC '23: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B

Pages 16 - 19

https://doi.org/10.1145/3579028.3609008

Published: 28 August 2023 Publication History

Abstract

Nowadays, feature models are the de facto standard when representing commonalities and variability, with modern examples spanning up to 7000 features. Manual analysis of such models is challenging and error-prone due to sheer size. To help in this task, automated analysis of feature models (AAFM) has emerged over the past three decades. However, the diversity of these tools and their supported languages presents a significant challenge that motivated the MOD-EVAR community to initiate a project for a new tool that supports the UVL language. Despite the rise of machine learning and data science, along with robust Python-based libraries, most AAFM tools have been implemented in Java, creating a collaboration gap. This paper introduces Flama, an innovative framework that automates the analysis of variability models. It focuses on UVL model analysis and aims for easy integration and extensibility to bridge this gap and foster better community and cross-community collaboration.

References

[1]

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.

Digital Library

[2]

Kacper Bąk, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki, and Andrzej Wąsowski. 2016. Clafer: unifying class and feature modeling. Software & Systems Modeling 15 (2016), 811--845.

Digital Library

[3]

David Benavides, Sergio Segura, and Antonio Ruiz-Cortés. 2010. Automated analysis of feature models 20 years later: A literature review. Information systems 35, 6 (2010), 615--636.

Digital Library

[4]

David Benavides, Pablo Trinidad, Antonio Ruiz-Cortés, and Sergio Segura. 2013. Fama. Systems and Software Variability Management: Concepts, Tools and Experiences (2013), 163--171.

[5]

Brajesh De and Brajesh De. 2017. API documentation. API Management: An Architect's Guide to Developing and Managing APIs for Your Organization (2017), 59--80.

[6]

José Angel Galindo, David Benavides, and Sergio Segura. 2010. Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. In 1st International Workshop on Automated Configuration and Tailoring of Applications (CEUR Workshop Proceedings, Vol. 688). CEUR-WS.org, 29--34.

[7]

José A Galindo, David Benavides, Pablo Trinidad, Antonio-Manuel Gutiérrez-Fernández, and Antonio Ruiz-Cortés. 2019. Automated analysis of feature models: Quo vadis? Computing 101 (2019), 387--433.

Digital Library

[8]

Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, and Don S. Batory. 2022. Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. 27, 2 (2022), 44.

Digital Library

[9]

José Miguel Horcas, José A. Galindo, Mónica Pinto, Lidia Fuentes, and David Benavides. 2022. FM fact label: a configurable and interactive visualization of feature model characterizations. In 26th ACM International Systems and Software Product Line Conference (SPLC), Vol. B. ACM, 42--45.

Digital Library

[10]

José Miguel Horcas, Mónica Pinto, and Lidia Fuentes. 2023. Empirical analysis of the tool support for software product lines. Softw. Syst. Model. 22, 1 (2023), 377--414. https://doi.org/10.1007/s10270-022-01011-2

Digital Library

[11]

Christian Kastner, Thomas Thum, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz, and Sven Apel. 2009. FeatureIDE: A tool framework for feature-oriented software development. In IEEE 31st International Conference on Software Engineering. IEEE, 611--614.

Digital Library

[12]

A. Germán Márquez, José A. Galindo, Ángel Jesús Varela-Vaca, María Teresa Gómez López, and David Benavides. 2022. Advisory: vulnerability analysis in software development project dependencies. In 26th ACM International Systems and Software Product Line Conference (SPLC), Vol. B. ACM, 99--102.

Digital Library

[13]

Simone Nasser Matos and Clovis Torres Fernandes. 2006. Early Definition of Frozen and Hot Spots in the Development of Domain Frameworks. In 14th ACM SIGSOFT Symposium on Foundations of Software Engineering.

[14]

Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, and Gunter Saake. 2014. An overview on analysis tools for software product lines. In 18th International Software Product Line Conference (SPLC): Companion Volume for Workshops, Demonstrations and Tools-Volume 2. 94--101.

Digital Library

[15]

Steven D Prestwich. 2009. CNF Encodings. Handbook of satisfiability 185 (2009), 75--97.

[16]

Jorge Rodas-Silva, José A Galindo, Jorge García-Gutiérrez, and David Benavides. 2019. Selection of software product line implementation components using recommender systems: An application to wordpress. IEEE Access 7 (2019), 69226--69245.

[17]

Sergio Segura, José A Galindo, David Benavides, José A Parejo, and Antonio Ruiz-Cortés. 2012. BeTTy: benchmarking and testing on the automated analysis of feature models. In 6th International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS). 63--71.

Digital Library

[18]

Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki. 2010. The Variability Model of The Linux Kernel. VaMoS 10, 10 (2010), 45--51.

[19]

Guido Van Rossum, Barry Warsaw, and Nick Coghlan. 2001. PEP 8-style guide for python code. Python. org 1565 (2001), 28.

Cited By

Horcas JBurgueño LKienzle J(2025)Leveraging belief uncertainty for informed decision making in software product line evolutionJournal of Systems and Software10.1016/j.jss.2024.112235219:COnline publication date: 1-Jan-2025
https://dl.acm.org/doi/10.1016/j.jss.2024.112235
Buján ACortiñas ARodríguez Luaces M(2024)Development of a PLE Factory Environment with GitLab Integration and following ISO/IEC 26580Proceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3678013(34-37)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3678013
Sundermann CHeß TSundermann RKuiter EKrieter SThüm T(2024)Generating Feature Models with UVL's Full ExpressivenessProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676602(61-65)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676602
Show More Cited By

Index Terms

FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models
1. Computer systems organization
  1. Dependable and fault-tolerant systems and networks
    1. Redundancy
  2. Embedded and cyber-physical systems
    1. Embedded systems
    2. Robotics
2. Networks
  1. Network properties
    1. Network reliability

Recommendations

Modeling Variability in Software Product Line Using First Order Logic
SERA '09: Proceedings of the 2009 Seventh ACIS International Conference on Software Engineering Research, Management and Applications

Software Product Line (SPL) is a new methodology that develops software products by configuring a software product from artifacts repository. Variability is one of the important issues in designing SPL. It reflects the diversity and commonality of the ...
Extending the Common Variability Language (CVL) Engine: A practical tool
SPLC '17: Proceedings of the 21st International Systems and Software Product Line Conference - Volume B

The Common Variability Language (CVL) has become a reference in the specification and resolution of variability in the last few years. Despite the multiple advantages of CVL (orthogonal variability, architecture variability resolution, MOF-compliant, ...
Recovering traceability links between feature models and source code of product variants
VARY '12: Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone

Usually software product variants, developed by clone-and-own approach, form often a starting point for building Software Product Line (SPL). To migrate software products that deemed similar into a product line, it is essential to trace variability ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SPLC '23: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B

August 2023

100 pages

ISBN:9798400700927

DOI:10.1145/3579028

Editors:
Paolo Arcaini
National Institute of Informatics, Japan
,
Maurice H. ter Beek
Italian National Research Council, Italy
,
Gilles Perrouin
University of Namur, Belgium
,
Iris Reinhartz-Berger
University of Haifa, Israel
,
Ivan Machado
Federal University of Bahia, Brazil
,
Silvia Regina Vergilio
Federal University of Paraná, Brazil
,
Rick Rabiser
Johannes Kepler University Linz, Austria
,
Tao Yue
Simula, Norway
,
Xavier Devroey
University of Namur, Belgium
,
Mónica Pinto
University of Málaga, Spain
,
Hironori Washizaki
Waseda University, Japan

Copyright © 2023 ACM.

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 the author(s) 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].

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 August 2023

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper
Research
Refereed limited

Funding Sources

FEDER/Ministry of Science and Innovation

Conference

SPLC '23

Sponsor:

SIGSOFT

SPLC '23: 27th ACM International Systems and Software Product Line Conference

August 28 - September 1, 2023

Tokyo, Japan

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
110
Total Downloads

Downloads (Last 12 months)62
Downloads (Last 6 weeks)4

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Horcas JBurgueño LKienzle J(2025)Leveraging belief uncertainty for informed decision making in software product line evolutionJournal of Systems and Software10.1016/j.jss.2024.112235219:COnline publication date: 1-Jan-2025
https://dl.acm.org/doi/10.1016/j.jss.2024.112235
Buján ACortiñas ARodríguez Luaces M(2024)Development of a PLE Factory Environment with GitLab Integration and following ISO/IEC 26580Proceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3678013(34-37)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3678013
Sundermann CHeß TSundermann RKuiter EKrieter SThüm T(2024)Generating Feature Models with UVL's Full ExpressivenessProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676602(61-65)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676602
Rabiser R(2024)Industry Adoption of UVL: What We Will NeedProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676597(46-49)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676597
Romero-Organvidez DNeira PGalindo JBenavides D(2024)Kconfig metamodel: a first approachProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676548(55-60)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676548
Fadhlillah HRabiser R(2024)Towards a Product Configuration Representation for the Universal Variability LanguageProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3676544(50-54)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3676544
Galindo JRomero Organvídez DBhushan MHorcas Aguilera JBenavides D(2024)Open Science principles in software product lines: The case of the UVL ecosystemProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3674550(223-223)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3674550
Sundermann CBrancaccio VKuiter EKrieter SHeß TThüm T(2024)Collecting Feature Models from the Literature: A Comprehensive Dataset for BenchmarkingProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3672590(54-65)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3672590
Fernandez-Amoros DHeradio RHorcas Aguilera JGalindo JBenavides DFuentes L(2024)Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf ToolProceedings of the 28th ACM International Systems and Software Product Line Conference10.1145/3646548.3672586(24-35)Online publication date: 2-Sep-2024
https://dl.acm.org/doi/10.1145/3646548.3672586
Horcas JGalindo JFuentes LBenavides D(2024)FM Fact LabelScience of Computer Programming10.1016/j.scico.2024.103214(103214)Online publication date: Sep-2024
https://doi.org/10.1016/j.scico.2024.103214
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten