Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Reasoning in description logics
Principles of knowledge representation
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
ACM Computing Surveys (CSUR)
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Introduction to Default Logic
Answer set programming and plan generation
Artificial Intelligence
Feature-Oriented Project Line Engineering
IEEE Software
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Systematic Integration of Variability into Product Line Architecture Design
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Knowledge-Based Configuration: Survey and Future Directions
XPS '99 Proceedings of the 5th Biannual German Conference on Knowledge-Based Systems: Knowledge-Based Systems - Survey and Future Directions
An experiment in feature engineering
Programming methodology
Mapping Requirements to Reusable Components Using Design Spaces
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
Product derivation in software product families: a case study
Journal of Systems and Software - Special issue: The new context for software engineering education and training
FeaturePlugin: feature modeling plug-in for Eclipse
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
A taxonomy of variability realization techniques: Research Articles
Software—Practice & Experience
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
SPLC '06 Proceedings of the 10th International on Software Product Line Conference
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Support for distributed adaptations in aspect-oriented middleware
Proceedings of the 7th international conference on Aspect-oriented software development
FeatureIDE: A tool framework for feature-oriented software development
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Managing concern interactions in middleware
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Generic feature-based software composition
SC'07 Proceedings of the 6th international conference on Software composition
Mapping features to models: a template approach based on superimposed variants
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
A feature-based approach for modeling role-based access control systems
Journal of Systems and Software
Separation of concerns in feature modeling: support and applications
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Hi-index | 0.00 |
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as generating the most optimal combination of software features given a requirements specification and given a set of configuration rules. Current approaches however provide little support for expressing complex configuration rules between problem and solution space that support incomplete requirements specifications. In this paper, we propose an approach to model complex configuration rules based on a generalization of the concept of problem-solution feature interactions. These are interactions between solution-space features that only arise in specific problem contexts. The use of an existing tool to support our approach is also discussed: we use the DLV answer set solver to express a particular configuration problem as a logic program whose answer set corresponds to the optimal combinations of solution-space features. We motivate and illustrate our approach with a case study in the field of managing dynamic adaptations in distributed software, where the goal is to generate an optimal protocol for accommodating a given adaptation.