Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
Journal of Systems and Software
Automated reasoning for multi-step feature model configuration problems
Proceedings of the 13th International Software Product Line Conference
Strategies for variability transformation at run-time
Proceedings of the 13th International Software Product Line Conference
Supplier independent feature modelling
Proceedings of the 13th International Software Product Line Conference
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Semi-automated diagnosis of FODA feature diagram
Proceedings of the 2010 ACM Symposium on Applied Computing
Automated analysis of feature models 20 years later: A literature review
Information Systems
Automated diagnosis of feature model configurations
Journal of Systems and Software
Variability modeling in the real: a perspective from the operating systems domain
Proceedings of the IEEE/ACM international conference on Automated software engineering
R&D challenges and emerging solutions for multicore deployment/configuration optimization
Proceedings of the FSE/SDP workshop on Future of software engineering research
A dynamic-priority based approach to fixing inconsistent feature models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Proceedings of the 4th India Software Engineering Conference
Supporting feature model configuration using a demonstration-based approach
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Model-driven auto-scaling of green cloud computing infrastructure
Future Generation Computer Systems
Automating the product derivation process of multi-agent systems product lines
Journal of Systems and Software
Managing SAT inconsistencies with HUMUS
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
A user survey of configuration challenges in Linux and eCos
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Comparing approaches to implement feature model composition
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Model search: formalizing and automating constraint solving in MDE platforms
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Generating range fixes for software configuration
Proceedings of the 34th International Conference on Software Engineering
A comparison of strategies for tolerating inconsistencies during decision-making
Proceedings of the 16th International Software Product Line Conference - Volume 1
Towards product configuration taking into account quality concerns
Proceedings of the 16th International Software Product Line Conference - Volume 2
Supporting the effective configuration of software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Ensuring consistency of feature-based decisions with a business rule system
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Architectural evolution of FamiWare using cardinality-based feature models
Information and Software Technology
International Journal of Information System Modeling and Design
C2O configurator: a tool for guided decision-making
Automated Software Engineering
Modeling and validation of business process families
Information Systems
Towards detecting redundancy in domain engineering process using first order logic rules
International Journal of Knowledge Engineering and Soft Data Paradigms
SmartFixer: fixing software configurations based on dynamic priorities
Proceedings of the 17th International Software Product Line Conference
Supporting large scale model transformation reuse
Proceedings of the 12th international conference on Generative programming: concepts & experiences
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Evolving feature model configurations in software product lines
Journal of Systems and Software
Automated generation of computationally hard feature models using evolutionary algorithms
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Configuration of large feature models can involve multiple stages and participants, which makes it hard to avoid conflicts and errors. New techniques are therefore needed to debug invalid configurations and derive the minimal set of changes to fix flawed configurations. This paper provides three contributions to debugging feature model configurations: (1) we present a technique for transforming a flawed feature model configuration into a Constraint Satisfaction Problem (CSP) and show how a constraint solver can derive the minimal set of feature selection changes to fix an invalid configuration, (2) we show how this diagnosis CSP can automatically resolve conflicts between configuration participant decisions, and (3) we present experiment results that evaluate our technique. These results show that our technique scales to models with over 5,000 features, which is well beyond the size used to validate other automated techniques.