Consistency Checking for the Evolution of Cardinality-based Feature Models

Clément Quinton 1, 2, 3 Andreas Pleuss 4 Daniel Le Berre 5 Laurence Duchien 2, 3, 6 Goetz Botterweck 4
1 LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 Université de Lille, Sciences et Technologies
3 SPIRALS - Self-adaptation for distributed services and large software systems
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
4 The Irish Software Engineering Research Centre
5 CRIL - Centre de Recherche en Informatique de Lens
6 Université Lille Nord de France
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

Collections

INRIA | UNIV-LILLE3 | CRISTAL | CRISTAL-SPIRALS

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

430

Téléchargements de fichiers

577

Contact


archive-ouverte@inria.fr