Manipulation de lignes de produits en UML

par Tewfik Ziadi

Thèse de doctorat en Informatique

Sous la direction de Jean-Marc Jézéquel.

Soutenue en 2004

à Rennes 1 .


  • Résumé

    Une ligne de produits (LdP) regroupe un ensemble de logiciels appartenant à un même domaine et qui prend en compte des facteurs de variation. Cette thèse se situe dans le contexte de la manipulation de lignes de produits en UML et s'articule autour de trois contributions. Nous étendons UML pour permettre la spécification de la variabilité dans les diagrammes de classes et dans les diagrammes de séquence d'UML. Nous identifions deux types de contraintes dans les LdP et nous proposons de les spécifier comme des contraintes OCL. Nous formalisons la dérivation de produits en utilisant la transformation de modèles. Pour réaliser la dérivation de comportements, nous avons étudié la problématique de la synthèse automatique de machines à états à partir des scénarios. Nous proposons de revisiter le problème de la synthèse dans le contexte d'UML2. 0 par une approche algébrique.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 185 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : 107 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA Rennes 2004/73
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.