Manipulation de lignes de produits en UML / Tewfik Ziadi ; sous la dir. de Jean-Marc Jézéquel

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2004

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

UML (informatique)

Génie logiciel

Automates

Design patterns

Jézéquel, Jean-Marc (1964-....) (Directeur de thèse / thesis advisor)

Université de Rennes 1 (1969-2022) (Organisme de soutenance / degree-grantor)

Relation : Manipulation de lignes de produits en UML / Tewfik Ziadi ; sous la direction de Jean-Marc Jézéquel / Grenoble : Atelier national de reproduction des thèses , 2004

Résumé / Abstract : 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.