Consistency Checking for the Evolution of Cardinality-based Feature Models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Consistency Checking for the Evolution of Cardinality-based Feature Models

Résumé

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.
Fichier principal
Vignette du fichier
splc.pdf (734.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01054604 , version 1 (11-09-2014)

Identifiants

  • HAL Id : hal-01054604 , version 1

Citer

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⟩
265 Consultations
633 Téléchargements

Partager

Gmail Facebook X LinkedIn More