Generating all maximal models of a Boolean expression
Information Processing Letters
Algorithms and Data Structures in VLSI Design
Algorithms and Data Structures in VLSI Design
Extending and implementing the stable model semantics
Artificial Intelligence
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
IEEE Transactions on Software Engineering
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Kumbang: A domain ontology for modelling variability in software product families
Advanced Engineering Informatics
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Generic feature-based software composition
SC'07 Proceedings of the 6th international conference on Software composition
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
Applying visualisation techniques in software product lines
Proceedings of the 4th ACM symposium on Software visualization
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Evolution of the linux kernel variability model
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Feature and meta-models in Clafer: mixed, specialized, and coupled
SLE'10 Proceedings of the Third international conference on Software language engineering
Transactions on aspect-oriented software development VII
Transactions on aspect-oriented software development VII
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Towards fixing inconsistencies in models with variability
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Cool features and tough decisions: a comparison of variability modeling approaches
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
VML* – a family of languages for variability management in software product lines
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Usage scenarios for feature model synthesis
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
Modeling and validation of business process families
Information Systems
| Hi-index | 0.00 |
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running the risk of inconsistencies. For instance, the feature model might allow feature configurations that are not realizable by the architecture. In this paper we tackle this problem by providing a formalization of dependencies between features and components. Further, we demonstrate that this formalization offers a better understanding of the modeled concepts. Moreover, we propose automated techniques that derive additional information and provide feedback to the user. Finally, we discuss how some of these techniques can be implemented.