Approche de métamodélisation pour la simulation et la vérification ...

Table des matières
1 Introduction générale 17
1.1 Évolution du génie logiciel . . . . . . . . . . . . . . . . . . . . . 18
1.2 Les défis actuels . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.3 Objectifs de la thèse . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4 Contexte des travaux . . . . . . . . . . . . . . . . . . . . . . . . 22
1.5 Contenu du mémoire . . . . . . . . . . . . . . . . . . . . . . . . 23
I Vers une opérationalisation des modèles dans l’IDM 25
2 L’ingénierie dirigée par les modèles 27
2.1 Les modèles au coeur du développement de système . . . . . . . 28
2.1.1 Les principes généraux de l’IDM . . . . . . . . . . . . . 28
2.1.2 L’approche MDA . . . . . . . . . . . . . . . . . . . . . . 30
2.1.3 Les langages dédiés de modélisation . . . . . . . . . . . . 32
2.2 La métamodélisation . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2.1 Qu’est-ce qu’un langage ? . . . . . . . . . . . . . . . . . 34
2.2.2 Outils et techniques pour la spécification d’un DSML . . . 35
2.3 La transformation de modèle . . . . . . . . . . . . . . . . . . . . 40
2.3.1 Historique . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.3.2 Standards et langages pour la transformation de modèle . . 43
2.4 Discussion et synthèse . . . . . . . . . . . . . . . . . . . . . . . 44
3 Ingénierie des procédés de développement 47
3.1 Historique des procédés de développement . . . . . . . . . . . . . 47
3.2 SPEM, standard pour la modélisation des procédés . . . . . . . . 48
3.3 Vers une exécutabilité des modèles de procédé . . . . . . . . . . . 50
3.3.1 Traduction d’un modèle de procédé SPEM2.0 dans un outil
de planification . . . . . . . . . . . . . . . . . . . . . . . 51
3.3.2 Expression avec un autre formalisme du comportement des
éléments de procédé SPEM2.0 . . . . . . . . . . . . . . . 51
3.4 Discussion et synthèse . . . . . . . . . . . . . . . . . . . . . . . 53
9