Skip to Main content Skip to Navigation
Conference papers

Consistency Checking for the Evolution of Cardinality-based Feature Models

Abstract : Feature 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 important extension to FMs are feature cardinalities and related constraints, as extensively used e.g., when modeling variability of cloud computing environments. Since cardinality-based FMs pose additional complexity, additional support for evolution and consistency checking with respect to feature cardinalities would be desirable, but has not been addressed yet. In this paper, we discuss common cardinality-based FM edits and resulting inconsistencies based on experiences with FMs in cloud domain. We introduce tool-support for automated inconsistency detection and explanation based on an off-the-shelf solver. We demonstrate the feasibility of the approach by an empirical evaluation showing the performance of the tool.
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Clément Quinton Connect in order to contact the contributor
Submitted on : Thursday, September 11, 2014 - 11:41:34 PM
Last modification on : Monday, March 14, 2022 - 3:56:53 PM
Long-term archiving on: : Friday, December 12, 2014 - 10:08:23 AM


Files produced by the author(s)


  • HAL Id : hal-01054604, version 1


Clément Quinton, Andreas Pleuss, Daniel Le Berre, Laurence Duchien, Goetz Botterweck. Consistency Checking for the Evolution of Cardinality-based Feature Models. SPLC - 18th International Software Product Line Conference, Sep 2014, Florence, Italy. pp.122-131. ⟨hal-01054604⟩



Record views


Files downloads