Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Guide to the Software Engineering Body of Knowledge - SWEBOK
Guide to the Software Engineering Body of Knowledge - SWEBOK
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Commonality and Variability in Software Engineering
IEEE Software
Maturity and Evolution in Software Product Lines: Approaches, Artefacts and Organization
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Laws of Software Evolution Revisited
EWSPT '96 Proceedings of the 5th European Workshop on Software Process Technology
Feature-Oriented Programming and the AHEAD Tool Suite
Proceedings of the 26th International Conference on Software Engineering
Integrated Adaptive QoS Management in Middleware: A Case Study
RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Extending the ATAM Architecture Evaluation to Product Line Architectures
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Process-Centric Approach for Coordinating Product Configuration Decisions
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Feature Diagrams and Logics: There and Back Again
SPLC '07 Proceedings of the 11th International Software Product Line Conference
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
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Towards feature-driven planning of product-line evolution
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Automated reasoning for multi-step feature model configuration problems
Proceedings of the 13th International Software Product Line Conference
Supplier independent feature modelling
Proceedings of the 13th International Software Product Line Conference
Formal modelling of feature configuration workflows
Proceedings of the 13th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review
Information Systems
Automated diagnosis of feature model configurations
Journal of Systems and Software
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
Tailoring dynamic software product lines
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Optimizing integrated application performance with cache-aware metascheduling
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Model-driven support for product line evolution on feature level
Journal of Systems and Software
Generating range fixes for software configuration
Proceedings of the 34th International Conference on Software Engineering
Quality-aware analysis in product line engineering with the orthogonal variability model
Software Quality Control
Hi-index | 0.00 |
The increasing complexity and cost of software-intensive systems has led developers to seek ways of reusing software components across development projects. One approach to increasing software reusability is to develop a software product-line (SPL), which is a software architecture that can be reconfigured and reused across projects. Rather than developing software from scratch for a new project, a new configuration of the SPL is produced. It is hard, however, to find a configuration of an SPL that meets an arbitrary requirement set and does not violate any configuration constraints in the SPL. Existing research has focused on techniques that produce a configuration of an SPL in a single step. Budgetary constraints or other restrictions, however, may require multi-step configuration processes. For example, an aircraft manufacturer may want to produce a series of configurations of a plane over a span of years without exceeding a yearly budget to add features. 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 SPL configuration problems can be automatically derived with a constraint solver by mapping them to CSPs. Moreover, we show how feature model changes can be mapped to our approach in a multi-step scenario by using feature model drift. Third, we present empirical results demonstrating that our CSP-based reasoning technique can scale to SPL models with hundreds of features and multiple configuration steps.