Clément Quinton
ABSTRACT
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.
- http://researchers.lille.inria.fr/~cquinton/splc/splc2013.html.Google Scholar
- D. Benavides, S. Segura, and A. Ruiz-Cortés. Automated Analysis of Feature Models 20 Years Later: A Literature Review. Inf. Syst., 35(6):615--636, Sept. 2010. Google ScholarDigital Library
- D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cortés. Using Java CSP Solvers in the Automated Analyses of Feature Models. In Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering, GTTSE'05, pages 399--408, 2006. Google ScholarDigital Library
- P. Clements and L. M. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc., 2001. Google ScholarDigital Library
- K. Czarnecki, S. Helsen, and U. W. Eisenecker. Formalizing Cardinality-based Feature Models and their Specialization. Software Process: Improvement and Practice, 10(1):7--29, 2005.Google ScholarCross Ref
- K. Czarnecki and C. H. P. Kim. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In International Workshop on Software Factories at OOPSLA'05. ACM, 2005.Google Scholar
- D. Dhungana, A. Falkner, and A. Haselbock. Configuration of Cardinality-Based Feature Models Using Generative Constraint Satisfaction. In Software Engineering and Advanced Applications (SEAA), 2011 37th EUROMICRO Conference on, pages 100--103, 30 2011-sept. 2 2011. Google ScholarDigital Library
- A. Gómez and I. Ramos. Cardinality-Based Feature Modeling and Model-Driven Engineering: Fitting them Together. In Fourth International Workshop on Variability Modelling of Software-Intensive Systems, pages 61--68, 2010.Google Scholar
- P. Mell and T. Grance. The NIST Definition of Cloud Computing. Technical report, National Institute of Standards and Technology, 2009.Google Scholar
- R. Michel, A. Classen, A. Hubaux, and Q. Boucher. A Formal Semantics for Feature Cardinalities in Feature Diagrams. In Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS'11, pages 82--89, 2011. Google ScholarDigital Library
- C. Parra, A. Cleve, X. Blanc, and L. Duchien. Feature-based composition of software architectures. In Proceedings of the 4th European conference on Software architecture, ECSA'10, pages 230--245, 2010. Google ScholarDigital Library
- K. Pohl, G. Böckle, and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., 2005. Google ScholarDigital Library
- C. Quinton, N. Haderer, R. Rouvoy, and L. Duchien. Towards Multi-Cloud Configurations Using Feature Models and Ontologies. In 1st International Workshop on Multi-Cloud Applications and Federated Clouds, Prague, Czech Republic, Apr. 2013. Google ScholarDigital Library
- C. Quinton, R. Rouvoy, and L. Duchien. Leveraging Feature Models to Configure Virtual Appliances. In Proceedings of the 2nd International Workshop on Cloud Computing Platforms, CloudCP '12, pages 2:1--2:6. ACM, 2012. Google ScholarDigital Library
- M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow. Extending Feature Diagrams with UML Multiplicities. In 6th World Conference on Integrated Design & Process Technology (IDPT2002), June 2002.Google Scholar
- D. Steinberg, et al. EMF: Eclipse Modeling Framework (2nd Edition). 2nd revised edition, 2009. Google ScholarDigital Library
- W. Zhang, H. Yan, H. Zhao, and Z. Jin. A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization. In H. Mei, editor, High Confidence Software Reuse in Large Systems, volume 5030 of Lecture Notes in Computer Science, pages 186--199. 2008. Google ScholarDigital Library
Index Terms
- Cardinality-based feature models with constraints: a pragmatic approach
Recommendations
Consistency checking for the evolution of cardinality-based feature models
SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1Feature-models (fms) are a widely used approach to specify the commonalities and variability in variable systems and software product lines. Various works have addressed edits to fms for fm evolution and tool support to ensure consistency of fms. An ...
Extending feature models with relative cardinalities
SPLC '16: Proceedings of the 20th International Systems and Software Product Line ConferenceFeature modeling is widely used to capture and manage commonalities and variabilities in software product lines. Cardinality-based feature models are used when variability applies not only to the selection or exclusion of features but also to the number ...
Feature Assembly Framework: towards scalable and reusable feature models
VaMoS '11: Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive SystemsFeature models have been commonly used to model the variability in software product lines. In this paper we present the Feature Assembly framework which is a new approach for creating feature models through feature composition and feature assembly. ...
Comments