A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Dynamic Software Product Lines
Computer
Code generation to support static and dynamic composition of software product lines
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Automated reasoning for multi-step feature model configuration problems
Proceedings of the 13th International Software Product Line Conference
Formal modelling of feature configuration workflows
Proceedings of the 13th International Software Product Line Conference
Mapping extended feature models to constraint logic programming over finite domains
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A study of non-Boolean constraints in variability models of an embedded operating system
Proceedings of the 15th International Software Product Line Conference, Volume 2
Abstract Features in Feature Modeling
SPLC '11 Proceedings of the 2011 15th 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
Proceedings of the 16th International Software Product Line Conference - Volume 2
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems
Proceedings of the 17th International Software Product Line Conference co-located workshops
Hi-index | 0.00 |
Dynamic software product lines (DSPL) constitute a promising approach for developing highly-configurable, runtime-adaptive systems in a feature-oriented way. A DSPL integrates both variability in time and space in a unified conceptual framework. For this, domain features are equipped with additional binding time information to distinguish between static configuration parameters and dynamically (re-) configurable features. Until now, little support exists to specify and validate staged (re-)configuration semantics for DSPLs in a concise way. In this paper, we propose conservative extensions to domain feature models comprising variable feature binding times together with different kinds of binding time constraints. Those extensions are motivated by a real-world industrial case study from the automation engineering domain. Our implementation performs a model transformation into plain feature models treatable by corresponding state-of-the-art analysis tools. We conducted an evaluation of our approach concerning the case study.