article

Free access

Automated analysis of feature models: challenges ahead

Authors:

Don Batory,

David Benavides,

Antonio Ruiz-CortesAuthors Info & Claims

Communications of the ACM, Volume 49, Issue 12

Pages 45 - 47

https://doi.org/10.1145/1183236.1183264

Published: 01 December 2006 Publication History

All formats PDF

References

[1]

Asikainen, T., Männistö, T., and Soininen, T. Using a configurator for modelling and configuring software product lines based on feature models. In Proceedings of the Workshop on Software Variability Management for Product Derivation, Software Product Line Conference (SPLC3), 2004.

Google Scholar

[2]

Batory, D. Feature models, grammars, and propositional formulas. In Proceedings of the Software Product Line Conference, 2005.

Digital Library

Google Scholar

[3]

Batory, D. and Thaker, S. Towards safe composition of product lines. Technical Report, Dept. Computer Sciences, University of Texas, TR-06-33, 2006.

Google Scholar

[4]

Benavides, D., Trinidad, P., and Ruiz-Cortés, A. Automated reasoning on feature models. In Proceedings of the Conference on Advanced Information Systems Engineering (CAISE). LNCS 3520, July 2005.

Digital Library

Google Scholar

[5]

Benavides, D., Segura, S., Trinidad, P., and Ruiz-Cortés, A. Using Java CSP solvers in the automated analyses of feature models. In Post-Proceedings of The Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE). LNCS 4143, 2006.

Digital Library

Google Scholar

[6]

Czarnecki, K. and Kim, C.H.P. Cardinality-based feature modeling and constraints: A progress report. In Proceedings of the OOPSLA Workshop on Software Factories, 2005.

Google Scholar

[7]

Czarnecki, K. and Pietroszek, K. Verifying feature-based model templates against well-formed OCL constraints. Generative Programming and Component Engineering, 2006.

Digital Library

Google Scholar

[8]

Kang, K., Cohen, S., Hess, J., Nowak, W., and Peterson, S. Feature-oriented domain analysis (FODA) feasibility study. Technical Report, CMU/SEI-90TR-21, Nov. 1990.

Crossref

Google Scholar

[9]

Mittal, S. and Frayman, F. Towards a generic model of configuration tasks. In Proceedings of the 11th International Conference on Artificial Intelligence, 1989, 1391--1401.

Google Scholar

[10]

Neema, S., Sztipanovits, J., and Karsai, G. Constraint-based design space exploration and model synthesis. In Proceedings of EMSOFT 2003, LNCS 2855, 290--305.

Crossref

Google Scholar

[11]

Pohl, K., Bockle, G., and Linden, F. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005.

Digital Library

Google Scholar

[12]

Reiter, R. A theory of diagnosis from first principles. Artificial Intelligence 32, 1 (1987), 57--96.

Digital Library

Google Scholar

Cited By

View all

Päßler Jter Beek MDamiani FDubslaff CJohnsen ETapia Tarifa S(2025)Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic SystemFormal Aspects of Computing10.1145/3709159Online publication date: 6-Jan-2025
https://dl.acm.org/doi/10.1145/3709159
Bennouk KAit Aali NEl Bouzekri El Idrissi YSebai BFaroukhi AMahouachi D(2024)A Comprehensive Review and Assessment of Cybersecurity Vulnerability Detection MethodologiesJournal of Cybersecurity and Privacy10.3390/jcp40400404:4(853-908)Online publication date: 7-Oct-2024
https://doi.org/10.3390/jcp4040040
Saha SSachdeva S(2024)Designing Document stores using Feature Model and Application Workload2024 Third International Conference on Electrical, Electronics, Information and Communication Technologies (ICEEICT)10.1109/ICEEICT61591.2024.10718438(1-5)Online publication date: 24-Jul-2024
https://doi.org/10.1109/ICEEICT61591.2024.10718438
Show More Cited By

Index Terms

Recommendations

Automated analysis of dependent feature models
VaMoS '13: Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems

Feature models specify valid combinations of features in software product lines. With dependent feature models (DFMs), we apply separation of concerns to feature models for two main benefits. First, we can modularize feature models into parts relevant ...
Automated analysis of feature models: current state and practices
SPLC '18: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1

Software Product Lines (SPLs) are about developing a set of different software products that share some common functionality. Feature models are widely used to encode the common and variant parts of an SPL. The number of products encoded in a feature ...
Automated metamorphic testing on the analyses of feature models

Context: A feature model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. Current testing methods in this ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 49, Issue 12

Software product line

December 2006

105 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/1183236

Issue’s Table of Contents

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: 01 December 2006

Published in CACM Volume 49, Issue 12

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

129
Total Citations
View Citations
2,203
Total Downloads

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

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Päßler Jter Beek MDamiani FDubslaff CJohnsen ETapia Tarifa S(2025)Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic SystemFormal Aspects of Computing10.1145/3709159Online publication date: 6-Jan-2025
https://dl.acm.org/doi/10.1145/3709159
Bennouk KAit Aali NEl Bouzekri El Idrissi YSebai BFaroukhi AMahouachi D(2024)A Comprehensive Review and Assessment of Cybersecurity Vulnerability Detection MethodologiesJournal of Cybersecurity and Privacy10.3390/jcp40400404:4(853-908)Online publication date: 7-Oct-2024
https://doi.org/10.3390/jcp4040040
Saha SSachdeva S(2024)Designing Document stores using Feature Model and Application Workload2024 Third International Conference on Electrical, Electronics, Information and Communication Technologies (ICEEICT)10.1109/ICEEICT61591.2024.10718438(1-5)Online publication date: 24-Jul-2024
https://doi.org/10.1109/ICEEICT61591.2024.10718438
de Castro DCortiñas ALuaces MPedreira OPlaces Á(2024)Local featuresJournal of Systems and Software10.1016/j.jss.2024.112035213:COnline publication date: 1-Jul-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.112035
Boffoli NArdimento PRigante M(2024)Operationalizing Decision Tables: A Step-by-Step Framework for Efficient Software Product Line CustomizationEvaluation of Novel Approaches to Software Engineering10.1007/978-3-031-64182-4_8(165-188)Online publication date: 10-Jul-2024
https://doi.org/10.1007/978-3-031-64182-4_8
Islam MChowdhury MAgrawal AMurphy MMehta RKudriavtseva DCleland-Huang JVierhauser MChechik M(2023)Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial SystemsJournal of Systems and Software10.1016/j.jss.2022.111543197:COnline publication date: 1-Mar-2023
https://dl.acm.org/doi/10.1016/j.jss.2022.111543
de Castro DCortiñas ALuaces MPedreira ÓPlaces ÁFelfernig AFuentes L(2022)Improving the customization of software product lines through the definition of local featuresProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A10.1145/3546932.3547006(199-209)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3546932.3547006
Molenaar SSteenvoorden Evan den Berg NDalpiaz FBrinkkemper S(2022)Defining Key Concepts in Information Science Research: The Adoption of the Definition of FeatureResearch Challenges in Information Science10.1007/978-3-031-05760-1_26(442-457)Online publication date: 14-May-2022
https://doi.org/10.1007/978-3-031-05760-1_26
Lee K(2021)A Systematic Review on Social Sustainability of Artificial Intelligence in Product DesignSustainability10.3390/su1305266813:5(2668)Online publication date: 2-Mar-2021
https://doi.org/10.3390/su13052668
Acher MPerrouin GCordy MMousavi MSchobbens P(2021)BURSTProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473070(36-40)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461002.3473070
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

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

References

Cited By

Index Terms

Recommendations

Automated analysis of dependent feature models

Automated analysis of feature models: current state and practices

Automated metamorphic testing on the analyses of feature models

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations