Software product lines: practices and patterns
Software product lines: practices and patterns
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Automated analysis of feature models 20 years later: A literature review
Information Systems
Feature-based composition of software architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
A formal semantics for feature cardinalities in feature diagrams
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Configuration of Cardinality-Based Feature Models Using Generative Constraint Satisfaction
SEAA '11 Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications
Using java CSP solvers in the automated analyses of feature models
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Leveraging feature models to configure virtual appliances
Proceedings of the 2nd International Workshop on Cloud Computing Platforms
Towards multi-cloud configurations using feature models and ontologies
Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds
Hi-index | 0.00 |
Feature models originating from Software Product Line Engineering are a well-known approach to variability modeling. In many situations, the variability does not apply only on features but also on the number of times these features can be cloned. In such a case, cardinality-based feature models are used to specify the number of clones for a given feature. Although previous works already investigated approaches for feature modeling with cardinality, there is still a lack of support for constraints in the presence of clones. To overcome this limitation, we present an abstract model to define constraints in cardinality-based feature models and propose a formal semantics for this kind of constraints. We illustrate the practical usage of our approach with examples from our recent experiences on cloud computing platform configuration.