Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation

Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study

Abstract : Feature modeling is a well-known approach to describe variability in Software Product Lines. Cardinality-based Feature Models (FMs) is a type of FMs where features can be instantiated several times in the configuration, contrarily to boolean FMs where a feature is present or not. While boolean FMs configuration is easily handled by current approaches, there is still a lack of support regarding cardinality-based FMs. In particular, expressing constraints over the set of feature instances is not supported in current approaches, where cardinality involved in such constraints can not be specified. To face this limitation, we define in this paper cardinality-based expressions and provide the related formal syntax and semantics as well as the way to automate the underlying configuration. We study the need for such a support using cloud computing environment configurations as a motivating example. To evaluate the soundness of the proposed approach, we analyze a corpus of 10 cloud environments. Our empirical evaluation shows that constraints relying on our cardinality-based expressions are common and that our approach is effective and can provide an useful support to developers for modeling and reasoning about FMs with cardinalities.
Document type :
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download
Contributor : Clément Quinton Connect in order to contact the contributor
Submitted on : Tuesday, October 7, 2014 - 1:35:07 PM
Last modification on : Thursday, January 20, 2022 - 5:29:21 PM
Long-term archiving on: : Thursday, January 8, 2015 - 10:45:42 AM


Files produced by the author(s)


  • HAL Id : hal-00946922, version 2


Clément Quinton, Daniel Romero, Laurence Duchien. Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study. [Research Report] RR-8478, INRIA. 2014, pp.25. ⟨hal-00946922v2⟩



Record views


Files downloads