leila-TTG
Memoire Complet♣ Contenu du memoire
Résumé
Introduction générale
Problématique
Objectifs spécifiques
Organisation de la thèse et organisation du travail
I Concept-maps et langages visuels
1 Fondements des concept-maps
1.1 Introduction
1.2 Origines
1.3 Fondements psychologiques
1.4 Fondements épistémologiques
1.5 Définition
1.6 Création de concept-maps
1.7 Domaines d’application
1.8 Techniques similaires
1.8.1 Mind Map
1.8.2 Cluster Map
1.8.3 Argument-Map
1.8.4 Topic Map
1.8.5 Text Graph
1.9 Conclusion
2 Langages visuels et spécifiques au domaine
2.1 Introduction
2.2 Les graphes
2.3 Les langages visuels
2.4 Classification des langages visuels
2.4.1 Selon les systèmes de programmation
2.4.2 Selon la technique de spécification
2.4.3 Selon le domaine d’application
2.4.4 Selon les relations spatiales
2.5 Les langages spécifiques au domaine
2.5.1 Le développement des DSLs
2.5.2 Outils de développement des DSLs
2.5.3 Architecture d’une DSM
2.6 Conclusion
3 Ingénierie dirigée par les modèles et spécification formelle des DSMLs visuels
3.1 Introduction
3.2 Ingénierie dirigée par les modèles
3.2.1 Principes
3.2.2 Modèle, métamodèle et mégamodèle
3.2.3 Transformation de modèles
3.2.3.1 Outils de transformation
3.2.4 Transformation basée sur la méta-modélisation
3.2.4.1 Définition des règles de transformation
3.2.4.2 Expression des règles de transformation
3.2.4.3 Exécution des règles de transformation
3.2.5 Transformation de graphes
3.3 Spécification formelle des DSMLs visuels
3.3.1 Les profils UML
3.3.2 La syntaxe
3.3.3 Sémantique formelle
3.3.3.1 Sémantique axiomatique
3.3.3.2 Sémantique dénotationnelle
3.3.3.3 Sémantique opérationnelle
3.4 Conclusion
4 Concept-maps en modélisation et simulation
4.1 Introduction
4.2 Projet de modélisation et de simulation
4.2.1 Formulation du problème
4.2.2 Objectifs et plan du projet
4.2.3 Élaboration du modèle conceptuel
4.2.4 Collecte de données
4.2.5 Translation du modèle
4.2.6 Vérification et validation du modèle
4.2.6.1 Techniques de validation subjectives
4.2.6.2 Techniques de validation objectives
4.2.7 Conception des expérimentations
4.2.8 Analyse des résultats
4.2.9 Documentation et implémentation
4.3 Choix d’un outils de simulation
4.4 L’explication en simulation
4.4.1 Connaissances explicatives
4.4.2 Connaissances factuelles du domaine de simulation
4.4.3 Stratégies d’explication
4.4.4 Le module d’explication
4.4.4.1 Architecture du module d’explication
4.5 Conclusion
II Conception et implémentation
5 La bibliothèque Japrosim
5.1 Introduction
5.2 Japrosime : une vue générale
5.3 Simulation à évènements discrets par interaction de processus en Java
5.4 Librairies similaires
5.5 Conception et paquetages
5.5.1 Le noyau
5.5.2 Le paquetage random
5.5.3 Le paquetage statistique
5.5.4 Le paquetage utilities
5.6 Scénario simple de files d’attente
5.6.1 Solution analytique
5.6.2 Solution par simulation utilisant Japrosim
5.7 La collecte automatique des statistiques
5.8 Conclusion
6 Extended Queueing Networks Modeling and Markup Language (EQNM2L)
6.1 Introduction
6.2 Phase de décision
6.3 Phase d’analyse : notions de base
6.3.1 Classes et priorités
6.3.1.1 Classes
6.3.1.2 Priorités
6.3.2 Stations de service
6.3.2.1 Station asymétrique
6.3.2.2 Station Fork/Join
6.3.2.3 Possession simultanée de ressources
6.3.2.4 Choix
6.3.3 Types de service
6.3.3.1 Traitement par lot
6.3.3.2 Préemption
6.3.3.3 Blocage
6.3.3.4 Service dépendant de la charge
6.3.3.5 Pannes des serveurs
6.3.4 Arrivées (Entrées)
6.3.5 Départs (Sorties)
6.3.6 Stratégie de routage
6.3.7 Région à capacité limitée
6.4 Phase de conception
6.4.1 Le métamodèle
6.4.2 Sémantique statique
6.4.3 Syntaxe concrète et langage visuel
6.4.4 Dialecte XML
6.4.4.1 Interopérabilité
6.4.4.2 Format d’échange
6.5 Phase d’implémentation
6.5.1 GME ToolKit
6.5.2 L’environnement de modélisation graphique d’EQNM2L
6.5.3 Génération automatique de code
6.5.3.1 Métamodèle Java
6.5.3.2 Spécification de règles
6.6 Conclusion
Conclusion générale et perspectives
Memoire Complet
