Ingénierie dirigée par les modèles (IDM)

Benoît Combemale

Equipe-Projet TRISKELL (IRISA & INRIA)
Université de Rennes 1
Campus de Beaulieu
F-35042 Rennes Cedex
benoit.combemale_AT_irisa.fr

Présentation générale

L’Ingénierie Dirigée par les Modèles (IDM) a permis plusieurs améliorations significatives dans le développement de systèmes complexes en se concentrant sur une préoccupation plus abstraite que la programmation classique. Il s’agit d’une forme d’ingénierie générative dans laquelle tout ou partie d’une application est engendrée à partir de modèles. Un modèle est une abstraction, une simplification d’un système qui est suffisante pour comprendre le système modélisé et répondre aux questions que l’on se pose sur lui. Un système peut être décrit par différents modèles liés les uns aux autres. L’idée phare est d’utiliser autant de langages de modélisation différents (ou Langages Dédiés – Domain Specific Languages) que les aspects chronologiques ou technologiques du développement du système le nécessitent.


2009-2010 : DIIC3 LSI, Ecole d'ingénieurs ESIR

Responsable du module : Jean-Marc Jézéquel

Supports de cours

  • Supports de J.-M. Jézéquel ici
  • MDE Pragmatique

2009-2010 : INSA de Rennes

Supports de cours

  • Introduction à l'Ingénierie Dirigée par les Modèles (IDM) : de la modélisation à la métamodélisation...
  • Syntaxes abstraite et concrête au travers d'EMF et de GMF
  • Sémantique statique avec OCL
  • Sémantique opérationnelle avec Kermeta
  • La transformation de modèle : principes, standard et mise en oeuvre avec Kermeta

2009-2010 : INSA de Toulouse

En collaboration avec Xavier Crégut et Marc Pantel

Métamodélisation (supports de cours)

  • Métamodélisation et EMF : supports de M. Pantel ici
  • Object Constraint Language (OCL) (B. Combemale)

Transformation de modèles (supports de cours)

  • Transformation de Modèle (Principes, Standards et Exemples) (B. Combemale)
  • Atlas Trandformation Language (ATL) (B. Combemale)

2009-2010 : Master 2 Recherche, Université de Rennes 1

Responsable du module : Jean-Marc Jézéquel

Supports de cours

  • Supports de J.-M. Jézéquel ici
  • Aborder la V&V dans l'Ingénierie des Modèles

Homework

  • Homework Part I
  • Homework Part II
  • Réseaux de Petri temporels, SE-LTL et boîte à outils TINA

Informations complémentaires

Quelques documents et liens mis à disposition au fur et à mesure de mes découvertes. Cette partie est donc par définition en perpétuelle évolution...

Quelques documents...

  • La refcard sur l'essentiel d'EMF (a télécharger gratuitement !)

Quelques liens...

  • OMG (Object Management Group) : consortium de standardisation (e.g. MDA, MOF, UML, OCL...)
  • Générateurs de syntaxe concrète graphique : EMF, Topcased, GMF, Merlin, Tiger/AGG
  • Générateurs de syntaxe concrète textuelle : Xtext, EMFText
  • Langages et standards pour la transformation de modèle : Kermeta, ATL, QVT (Query/View/Transformation)
  • Eclipse Modeling Project
  • Action IDM : Communauté nationale sur l'IDM
  • PlanetMDE : Communauté internationale sur l'IDM

Supports de conférences

  • "Modélisation & Développement de logiciels avioniques"
    Conférence de Pierre Gaufilet (Airbus France) le 11 octobre 2007 à l'INSAT (.pdf)
  • "MDA pragmatique"
    Conférence de David Sciamma (Anyware Technologies) le 21 novembre 2007 à l'INSAT (.pdf)

Archives

  • 2008-2009 : INSA Toulouse, 5GEI
  • 2008 : Université de Yaounde I (Cameroun), DEA (.zip, 10Mo)
  • 2007-2008 : INSA Toulouse, 5GEI
  • 2007-2008 : INPT ENSEEIHT, 2IMA
  • 2007 : Université de Yaounde I (Cameroun), DEA (.zip, 10Mo)
  • 2006-2007 : INSA Toulouse, 5GEI
  • 2006-2007 : INPT ENSEEIHT, 2IMA

updated Oct. 2009.