Feature-based configuration: collaborative, dependable, and controlled

  • Arnaud Hubaux

Thèse de l'étudiant: Doc typesDocteur en Sciences

Résumé

Un nombre croissant de produits offrent des mécanismes de configurarion sophistiqués pour gérer les variations entre les exigences des utilisateurs et du
contexte. Habituellement, les configurateurs reposent sur des modèles de variabilité, tels que les feature models (FMs), qui structurent et contraignent les
options disponibles. Cependant, la plupart des techniques de configuration
basées sur les FMs s’appliquent difficilement aux contexts collaboratifs. Ils
offrent des mécanismes limités pour déterminer les responsabilités et droits
d’accès, organiser des tâches de configuration, et résoudre des conflits. Des
fragments de solutions existent mais une fondation formelle et unifiée pour la
configuration collaborative basée sur les FMs est manquante.
Pour fournir un contrôle et une guidance améliorés, nous spécifions les responsabilités et droits d’accès avec des vues sur le FM. Les vues établissent
des espaces isolés dans lesquels les utilisateurs configurent la partie du FM qui
leur est assignée. La configuration de ces vues est regulée par un workflow qui
définit le processus de configuration. Le résultat de cette combinaison est un
nouveau formalisme appelé feature-based configuration workflow. Finalement,
pour traiter les conflits entre les décisions des utilisateurs, nous développons
un algorithme de génération de range fixes. Ces concepts et leurs propriétés
sont intégrés dans un framework mathématique cohérent.
Notre contribution est motivée et illustrée par plusieurs applications : une
ligne de produits d’applications de gestions de réunions (PloneMeeting), une
ligne de produit de protocoles de communications utilisée dans l’industrie aéronautique (CFDP), le kernel Linux, et un système d’exploitation pour applications embarquées (eCos). Les définitions et algorithmes sont implémentés dans un toolset qui étend SPLOT, un environnement de configuration open source, et YAWL, un système complet de gestion de workflow. Ce toolset démontre l’efficacité et l’applicabilité de notre contribution.
Date de réussite9 janv. 2012
langueAnglais
Institution diplomante
  • Universite de Namur
SuperviseurPatrick HEYMANS (Promoteur), LAURENT SCHUMACHER (Jury), PIERRE-YVES SCHOBBENS (Copromoteur), Jean-Noel COLIN (Jury), Krzysztof Czarnecki (Jury), Kim Mens (Jury) & Naji HABRA (Président)

mots-clés

  • Feature Model
  • Separation of Concerns
  • Configuration
  • Software Product Line Engineering
  • Variability Model

Citer ceci

Feature-based configuration: collaborative, dependable, and controlled
Hubaux, A. (Auteur). 9 janv. 2012

Thèse de l'étudiant: Doc typesDocteur en Sciences