Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Software Architecture in Practice
Software Architecture in Practice
Extending the ATAM Architecture Evaluation to Product Line Architectures
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
Automating Product-Line Variant Selection for Mobile Devices
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Variability Driven Quality Evaluation in Software Product Lines
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Automated analysis of feature models 20 years later: A literature review
Information Systems
Stratified analytic hierarchy process: prioritization and selection of software features
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Dynamic delta-oriented programming
Proceedings of the 15th International Software Product Line Conference, Volume 2
Model-driven auto-scaling of green cloud computing infrastructure
Future Generation Computer Systems
Properties of realistic feature models make combinatorial testing of product lines feasible
Proceedings of the 14th international conference on Model driven engineering languages and systems
Engineering Applications of Artificial Intelligence
Using domain features to handle feature interactions
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Configuration of mechatronic multi product lines
Proceedings of the 3rd international workshop on Variability & Composition
Automated planning for feature model configuration based on stakeholders' business concerns
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
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
Multi-perspectives on feature models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Automatic selection of test execution plans from a video conferencing system product line
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
International Journal of Information System Modeling and Design
Proceedings of the 2013 International Conference on Software Engineering
Flexible development of variable software features for mobile business applications
Proceedings of the 17th International Software Product Line Conference co-located workshops
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems
Proceedings of the 17th International Software Product Line Conference co-located workshops
Separation of concerns in feature diagram languages: A systematic survey
ACM Computing Surveys (CSUR)
Improving product configuration in software product line engineering
ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135
Staged configuration of dynamic software product lines with complex binding time constraints
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
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 |
The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing software reusability. One software reuse approach is to develop a Software Product-line (SPL), which is a reconfigurable software architecture that can be reused across projects. Creating configurations of the SPL that meets arbitrary requirements is hard. Existing research has focused on techniques that produce a configuration of the SPL in a single step. This paper provides three contributions to the study of multi-step configuration for SPLs. First, we present a formal model of multi-step SPL configuration and map this model to constraint satisfaction problems (CSPs). Second, we show how solutions to these CSP configuration problem CSPs can be derived automatically with a constraint solver. Third, we present empirical results demonstrating that our CSP-based technique can solve multi-step configuration problems involving hundreds of features in seconds.