short-paper

Comparing algorithms for efficient feature-model slicing

Authors:

Sebastian Krieter,

Reimar Schröter,

Wolfram Fenske,

Gunter SaakeAuthors Info & Claims

SPLC '16: Proceedings of the 20th International Systems and Software Product Line Conference

Pages 60 - 64

https://doi.org/10.1145/2934466.2934477

Published: 16 September 2016 Publication History

Abstract

Feature models are a well-known concept to represent variability in software product lines by defining features and their dependencies. During feature-model evolution, for information hiding, and for feature-model analyses, it is often necessary to remove certain features from a model. As the crude deletion of features can have undesirable effects on their dependencies, dependency-preserving algorithms, known as feature-model slicing, have been proposed. However, current algorithms do not perform well when removing a high number of features from large feature models. Therefore, we propose an efficient algorithm for feature-model slicing based on logical resolution and the minimization of logical formulas. We empirically evaluate the scalability of our algorithm on a number of feature models and find that our algorithm generally outperforms existing algorithms.

References

[1]

M. Acher, P. Collet, P. Lahire, and R. B. France. Decomposing Feature Models: Language, Environment, and Applications. In ASE, pages 600--603. IEEE, 2011.

Digital Library

[2]

M. Acher, P. Collet, P. Lahire, and R. B. France. Slicing Feature Models. In ASE, pages 424--427. IEEE, 2011.

Digital Library

[3]

M. Acher, P. Collet, P. Lahire, and R. B. France. FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models. SCP, 78(6):657--681, 2013.

Digital Library

[4]

D. Batory. Feature Models, Grammars, and Propositional Formulas. In SPLC, pages 7--20. Springer, 2005.

Digital Library

[5]

T. Berger, R. Rublack, D. Nair, J. M. Atlee, M. Becker, K. Czarnecki, and A. Wąsowski. A Survey of Variability Modeling in Industrial Practice. In VaMoS, pages 7:1-7:8. ACM, 2013.

Digital Library

[6]

M. Davis, G. Logemann, and D. Loveland. A Machine Program for Theorem-Proving. Commun. ACM, 5(7):394--397, 1962.

Digital Library

[7]

N. Eén and A. Biere. Effective Preprocessing in SAT Through Variable and Clause Elimination. In SAT, pages 61--75. Springer, 2005.

Digital Library

[8]

M. Heule, M. Järvisalo, and A. Biere. Clause Elimination Procedures for CNF Formulas. In LPAR, pages 357--371. Springer, 2010.

Digital Library

[9]

A. Hubaux, P. Heymans, P.-Y. Schobbens, D. Deridder, and E. K. Abbasi. Supporting Multiple Perspectives in Feature-Based Configuration. SoSyM, 12(3):641--663, 2013.

Digital Library

[10]

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, 1990.

[11]

S. Krieter, R. Schröter, T. Thüm, and G. Saake. An Efficient Algorithm for Feature-Model Slicing. Technical report, University of Magdeburg, 2015.

[12]

J. Meinicke, T. Thüm, R. Schröter, S. Krieter, F. Benduhn, G. Saake, and T. Leich. FeatureIDE: Taming the Preprocessor Wilderness. In ICSE, pages 629--632. ACM, 2016.

Digital Library

[13]

M. Mendonça, M. Branco, and D. Cowan. S.P.L.O.T.: Software Product Lines Online Tools. In OOPSLA, pages 761--762. ACM, 2009.

Digital Library

[14]

M. Mendonça, A. Wąsowski, and K. Czarnecki. SAT-Based Analysis of Feature Models is Easy. In SPLC, pages 231--240. Software Engineering Institute, 2009.

Digital Library

[15]

J. Schroeter, M. Lochau, and T. Winkelmann. Multi-Perspectives on Feature Models. In MODELS, pages 252--268. Springer, 2012.

Digital Library

[16]

R. Schröter, S. Krieter, T. Tüm, F. Benduhn, and G. Saake. Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems. In ICSE, pages 667--678. ACM, 2016.

Digital Library

[17]

R. Tartler, D. Lohmann, C. Dietrich, C. Egger, and J. Sincero. Configuration Coverage in the Analysis of Large-Scale System Software. ACM SIGOPS Operating Systems Review, 45(3):10--14, 2012.

Digital Library

[18]

T. Thüm, C. Kästner, F. Benduhn, J. Meinicke, G. Saake, and T. Leich. FeatureIDE: An Extensible Framework for Feature-Oriented Software Development. SCP, 79(0):70--85, 2014.

Digital Library

[19]

T. Thüm, C. Kästner, S. Erdweg, and N. Siegmund. Abstract Features in Feature Modeling. In SPLC, pages 191--200. IEEE, 2011.

Digital Library

Cited By

Sundermann CLoth JThüm TFilkov VRay BZhou M(2024)Efficient Slicing of Feature Models via Projected d-DNNF CompilationProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695594(1332-1344)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1145/3691620.3695594
Young JBittner PWalkingshaw EThüm T(2023)Variational satisfiability solving: efficiently solving lots of related SAT problemsEmpirical Software Engineering10.1007/s10664-022-10217-328:1Online publication date: 1-Jan-2023
https://dl.acm.org/doi/10.1007/s10664-022-10217-3
Sundermann CKuiter EHeß TRaab HKrieter SThüm T(2023)On the benefits of knowledge compilation for feature-model analysesAnnals of Mathematics and Artificial Intelligence10.1007/s10472-023-09906-692:5(1013-1050)Online publication date: 6-Nov-2023
https://dl.acm.org/doi/10.1007/s10472-023-09906-6
Show More Cited By

Index Terms

Comparing algorithms for efficient feature-model slicing
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
        Software product lines
  2. Software organization and properties
    1. Software system structures
      1. Abstraction, modeling and modularity

Recommendations

Feature-Based Systems and Software Product Line Engineering with Gears from BigLever
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B

This paper describes a demonstration of the product line engineering tool and framework called Gears from BigLever Software. Gears is the automation at the heart of a PLE Factory, which itself is the conceptual construct at the heart of Feature-based ...
Modular feature-oriented graphical editor product lines
SPLC '18: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1

Software Product Lines (SPLs) have a long tradition and aim at reducing development costs by increasing reuse. They have been successfully applied to develop families of languages, ultimately establishing the field of Language Product Lines (LPLs). ...
Feature Nets: behavioural modelling of software product lines

Software product lines (SPLs) are diverse systems that are developed using a dual engineering process: (a) family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '16: Proceedings of the 20th International Systems and Software Product Line Conference

September 2016

367 pages

ISBN:9781450340502

DOI:10.1145/2934466

General Chair:
Hong Mei
Shanghai Jiao Tong University, China

Copyright © 2016 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 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]

Sponsors

Huawei Technologies Co. Ltd.: Huawei Technologies Co. Ltd.
Key Laboratory of High Confidence Software Technologies: Key Laboratory of High Confidence Software Technologies, Ministry of Education
DC Holdings: Digital China Holdings Limited

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 September 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

SPLC '16

Sponsor:

Huawei Technologies Co. Ltd.
Key Laboratory of High Confidence Software Technologies
DC Holdings

SPLC '16: The 20th International Systems and Software Product Line Conference

September 16 - 23, 2016

Beijing, China

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
178
Total Downloads

Downloads (Last 12 months)20
Downloads (Last 6 weeks)1

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sundermann CLoth JThüm TFilkov VRay BZhou M(2024)Efficient Slicing of Feature Models via Projected d-DNNF CompilationProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695594(1332-1344)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1145/3691620.3695594
Young JBittner PWalkingshaw EThüm T(2023)Variational satisfiability solving: efficiently solving lots of related SAT problemsEmpirical Software Engineering10.1007/s10664-022-10217-328:1Online publication date: 1-Jan-2023
https://dl.acm.org/doi/10.1007/s10664-022-10217-3
Sundermann CKuiter EHeß TRaab HKrieter SThüm T(2023)On the benefits of knowledge compilation for feature-model analysesAnnals of Mathematics and Artificial Intelligence10.1007/s10472-023-09906-692:5(1013-1050)Online publication date: 6-Nov-2023
https://dl.acm.org/doi/10.1007/s10472-023-09906-6
Hentze MSundermann CThüm TSchaefer ISyriani ESahraoui H(2022)Quantifying the variability mismatch between problem and solution spaceProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems10.1145/3550355.3552411(322-333)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550355.3552411
Cazzola WFavalli L(2022)Towards a recipe for language decomposition: quality assessment of language product linesEmpirical Software Engineering10.1007/s10664-021-10074-627:4Online publication date: 1-Jul-2022
https://dl.acm.org/doi/10.1007/s10664-021-10074-6
Mortara JCollet PMousavi MSchobbens P(2021)Capturing the diversity of analyses on the Linux kernel variabilityProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A10.1145/3461001.3471151(160-171)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461001.3471151
Young JWalkingshaw EThüm TLopez-Herrejon R(2020)Variational satisfiability solvingProceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A10.1145/3382025.3414965(1-12)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1145/3382025.3414965
Sundermann CThüm TSchaefer I(2020)Evaluating #SAT solvers on industrial feature modelsProceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3377024.3377025(1-9)Online publication date: 5-Feb-2020
https://dl.acm.org/doi/10.1145/3377024.3377025
Meixner KRabiser RBiffl S(2019)Towards Modeling Variability of Products, Processes and Resources in Cyber-Physical Production Systems EngineeringProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342411(49-56)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3307630.3342411
Tërnava XCollet P(2017)Early Consistency Checking between Specification and Implementation VariabilitiesProceedings of the 21st International Systems and Software Product Line Conference - Volume A10.1145/3106195.3106209(29-38)Online publication date: 25-Sep-2017
https://dl.acm.org/doi/10.1145/3106195.3106209
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