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.
Type de document :
Communication dans un congrès
SPLC - 18th International Software Product Line Conference, Sep 2014, Florence, Italy. pp.122-131, 2014
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01054604
Contributeur : Clément Quinton <>
Soumis le : jeudi 11 septembre 2014 - 23:41:34
Dernière modification le : jeudi 11 janvier 2018 - 06:25:38
Document(s) archivé(s) le : vendredi 12 décembre 2014 - 10:08:23

Fichier

splc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01054604, version 1

Citation

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, 2014. 〈hal-01054604〉

Partager

Métriques

Consultations de la notice

414

Téléchargements de fichiers

558