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

Table des figures
1.1 Principales étapes pour la vérification et la simulation de modèle . 24
2.1 Relations entre système, modèle, métamodèle et langage [FEB06] 29
2.2 Pyramide de modélisation de l’OMG [Béz03] . . . . . . . . . . . 31
2.3 MDA : Un processus en Y dirigé par les modèles . . . . . . . . . 32
2.4 Composantes d’un langage . . . . . . . . . . . . . . . . . . . . . 35
2.5 Concepts principaux de métamodélisation (EMOF 2.0) . . . . . . 36
2.6 Syntaxe abstraite de SIMPLEPDL . . . . . . . . . . . . . . . . . 37
2.7 Exemple de modèle SIMPLEPDL . . . . . . . . . . . . . . . . . 38
2.8 Modèle de configuration de la syntaxe concrète de SIMPLEPDL . 39
2.9 Éditeur graphique de SimplePDL généré avec TOPCASED . . . . . 40
2.10 Types de transformation et leurs principales utilisations . . . . . . 41
2.11 Classes de transformations dans la définition d’un DSML [Kle06] 42
2.12 Principes de la transformation de modèle . . . . . . . . . . . . . . 43
2.13 Architecture du standard QVT [OMG08] . . . . . . . . . . . . . . 44
3.1 Modèle conceptuel de SPEM . . . . . . . . . . . . . . . . . . . . 49
3.2 Structure du métamodèle de SPEM2.0 [OMG07a] . . . . . . . . . 50
4.1 Fonction decr . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.2 Métamodèle étendu pour la définition de la sémantique opérationnelle 62
4.3 Sémantique opérationnelle de SIMPLEPDL avec AGG . . . . . . 67
4.4 Syntaxe abstraite des réseaux de Petri . . . . . . . . . . . . . . . 69
4.5 Schéma de traduction de SIMPLEPDL vers PETRINET . . . . . . 70
4.6 Exemple de transformation d’un processus en réseau de Petri . . . 70
4.7 Sémantique opérationnelle Vs. sémantique par traduction . . . . . 73
5.1 Syntaxe abstraite de XSPEM . . . . . . . . . . . . . . . . . . . . 82
5.2 Modèle XSPEM de la méthode MACAO pour un projet particulier 85
5.3 Promotion de TOCL au niveau du MOF . . . . . . . . . . . . . . 90
5.4 Règles de transition (basé sur les événements) pour les activités . . 92
5.5 Architecture générique d’une syntaxe abstraite pour l’exécution
des modèles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5.6 Démarche pour définir de la syntaxe abstraite d’un DSML exécutable 95
13