Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study

Résumé : La modélisation à l'aide de caractéristiques est une approche très utilisée dans les lignes de produits logiciels. Les Modèles de Caractéristiques (MCs) étendus avec des cardinalités sont un des MCs dans lesquels une caractéristique peut être instanciée plusieurs fois lors de la configuration, contrairement au MCs booléens dans lesquels une caractéristique est présente ou non. Alors que la configuration de MCs booléens est aujourd'hui maitrisée par différentes approches, il reste cependant un manque en terme de support pour les MCs étendus avec des cardinalités. Notamment, pouvoir exprimé des contraintes sur le nombre d'instances requises n'est pas permis dans les approches existantes, puisque les contraintes ne peuvent être exprimées que sur des caractéristiques booléennes. Pour contrer cette limite, nous fournissons dans cet article une nouvelle notation pour exprimer ces contraintes, une définition formelle de leur syntaxe et de leur sémantique ainsi qu'un moyen d'automatiser la vérification des configurations associées. Pour illustrer notre approche, nous étudions le besoin pour un tel support dans le cadre de la configuration d'environnements d'informatique dans les nuages. Nous évaluons notre approche sur un ensemble de 10 environnements. Notre étude empirique montre que les besoins pour exprimer ce type de contraintes sont communs dans ces environnements et que notre approche est efficace pour les gérer.
Type de document :
Rapport
[Research Report] RR-8478, INRIA. 2014, pp.25
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00946922
Contributeur : Clément Quinton <>
Soumis le : mardi 7 octobre 2014 - 13:35:07
Dernière modification le : mercredi 21 février 2018 - 09:46:03
Document(s) archivé(s) le : jeudi 8 janvier 2015 - 10:45:42

Fichier

RR-8478.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00946922, version 2

Citation

Clément Quinton, Daniel Romero, Laurence Duchien. Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study. [Research Report] RR-8478, INRIA. 2014, pp.25. 〈hal-00946922v2〉

Partager

Métriques

Consultations de la notice

292

Téléchargements de fichiers

329