| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [26 references]
https://hal.inria.fr/hal-01054604
Contributor : Clément Quinton <>
Submitted on : Thursday, September 11, 2014 - 11:41:34 PM
Last modification on : Tuesday, July 27, 2021 - 6:42:01 PM
Long-term archiving on: : Friday, December 12, 2014 - 10:08:23 AM
Contributor : Clément Quinton <>
Submitted on : Thursday, September 11, 2014 - 11:41:34 PM
Last modification on : Tuesday, July 27, 2021 - 6:42:01 PM
Long-term archiving on: : Friday, December 12, 2014 - 10:08:23 AM
File
splc.pdf
Files produced by the author(s)