francais english

J'ai soutenu ma thèse le 28 novembre 2008 à Supélec avec la mention Très Honorable.

J'ai effectué mes travaux de thèse au Département Informatique de Supélec, en association avec l'Ecole Doctorale d'Informatique de l'Université Paris XI.

Mémoire de thèse
Diapositives de soutenance

Encadrement

Directeur de thèse :
  • M. Guy Vidal-Naquet, Professeur (Université Paris-Sud 11 et Supélec)
Encadrants :
  • M. Frédéric Boulanger, Professeur (Supélec)
  • M. Dominique Marcadet, Professeur (Supélec)

Jury

Rapporteurs :
  • M. Charles André, Professeur (Université de Nice)
  • M. Christian Attiogbé, Professeur (Université de Nantes)
Examinateurs :
  • M. Marc Pouzet, Professeur (Université Paris-Sud 11), président de jury
  • M. François Terrier, Professeur (INSTN), Directeur de laboratoire (CEA)
  • Mme Marie-Agnès Péraldi, Maître de Conférences (Université de Nice)
  • M. Guy Vidal-Naquet, Professeur (Université Paris-Sud 11 et Supélec)
  • M. Frédéric Boulanger, Professeur (Supélec)
  • M. Dominique Marcadet, Professeur (Supélec)

Sujet

« Composition de modèles pour la modélisation multi-paradigme du comportement des systèmes »

Résumé

Dans le contexte de l'Ingénierie Dirigée par les Modèles, l'utilisation de multiples paradigmes de modélisation pour développer un système complexe est à la fois inévitable et essentielle. Les modèles qui représentent un tel système sont donc hétérogènes, ce qui rend tout raisonnement global sur le système difficile. L'objectif de la modélisation multi-paradigme est de faciliter l'utilisation conjointe de modèles hétérogènes pendant le cycle de développement. Les travaux exposés dans cette thèse concernent l'étude de l'hétérogénéité des modèles et la conception d'une approche pour la modélisation multi-paradigme des systèmes.

Nous caractérisons les causes de l'hétérogénéité des modèles par rapport au cycle de développement puis identifions différents types d'hétérogénéité. En nous basant sur ces causes d'hétérogénéité, nous proposons un cadre d'étude pour le domaine de la modélisation multi-paradigme avec différents axes de recherche.

La multidisciplinarité de la modélisation multi-paradigme rend applicables des techniques issues de différents domaines. Nous proposons un état de l'art et une classification des techniques dont nous avons étudié la pertinence par rapport à l'hétérogénéité. La gamme des techniques présentées inclut les transformations de modèles, la composition de méta-modèles, la composition de modèles, l'adaptation de composants, la co-simulation ou encore les méga-modèles.

Nous présentons ensuite ModHel'X, l'approche de composition de modèles pour la modélisation multi-paradigme que nous avons développée. Elle s'appuie sur le concept de modèle de calcul et permet :

  • de spécifier la sémantique d'un langage de modélisation de manière exécutable à travers la spécialisation opérationnelle d'une sémantique abstraite pour les modèles de calcul ;
  • de spécifier explicitement les mécanismes de composition à utiliser entre des modèles hétérogènes via une structure de modélisation appelée bloc d'interface ;
  • de simuler le comportement global de modèles hétérogènes par un algorithme générique d'exécution que nous avons défini.

Une implémentation de ModHel'X a été réalisée sous la forme d'un framework s'appuyant sur EMF (Eclipse Modeling Framework).

Mots clés

modélisation multi-paradigme, hétérogénéité des modèles, modélisation hétérogène, composition de modèles, langage de modélisation, modèle de calcul, exécution de modèles, Ingénierie Dirigée par les Modèles (IDM)

Liens

Le framework ModHel'X