Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23

Dimension: px

Commencer à balayer dès la page:

Download "Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23"

Alfred Ducharme
il y a 8 ans
Total affichages :

1 Table des Figures 7 Introduction Générale 9 1. Outils et plate-formes de construction d application 9 2. Intégration de paradigmes de conception dans le cycle de vie Equilibrage de charge et équilibrage d application Applications parallèles et applications réparties Unification des deux problématiques Synthèse Positionnement et démarche méthodologique Intégration de la notion d architecture Approche méthodologique Organisation du mémoire Références bibliographiques 20 Chapitre 1 - Langages de description d architectures matérielles hybrides Classifications des architectures matérielles multi-processeurs La classification de Flynn Vers des classifications alternatives Synthèse : définition d une architecture hybride Langage de description d architectures matérielles La description de l architecture matérielle dans les langages de programmation parallèle La description de l architecture matérielle dans les langages de configuration La description de l architecture matérielle dans les logiciels de simulation La description de l architecture matérielle dans les logiciels de répartition de charge La description de l architecture matérielle dans les logiciels d administration de systèmes et de réseaux Conclusion Hadel : un langage de description d architectures matérielles Hybrides Description du langage HADEL Conclusion Perspectives Références bibliographiques 52 Chapitre 2 - Architecture logicielle et construction d applications client-serveur Définition et description d architectures logicielles Séparation des préoccupations et vues sur l architecture Style architectural Gabarit de conception... 63

.. 15 3.2. Approche méthodologique... 15 4. Organisation du mémoire 16 5. Références bibliographiques 20 Chapitre 1 - Langages de description d architectures matérielles hybrides 23 1.

2 1.4. Squelette d implémentation Langages de description d architectures logicielles Synthèse Notre vision d une architecture logicielle dans MEDEVER Les architectures logicielles de type client-serveur Classification des architectures client-serveur Les environnements de développement client-serveur Le médiateur : colle des architectures logicielles client-serveur Conclusion Les architectures client-serveur selon un axe langage Rappels sur le modèle objet Classification des langages objets Révision du modèle objet en vue de l intégration de la concurrence Mise en oeuvre de la concurrence Conclusion Les architectures client-serveur selon un axe système Les architectures de systèmes ouverts Les plate-formes d intégration Les architectures logicielles à base de composants logiciels Les architectures logicielles basées sur des ORB Les Architectures d applications client-serveur s appuyant sur des Systèmes Répartis Synthèse Conclusion Références bibliographiques 114 Chapitre 3 - VODEL, un langage de description d architectures logicielles statiques et dynamiques Le langage VODEL Style architectural définit dans VODEL Description des entités logicielles (ou DVSC) Les entités de communication dans VODEL : DVSL et DVGL Synthèse Intégration de la dynamicité dans VODEL : VODEL-D Les entités logicielles de définition : étendre les DVSC Les entités logicielles d exécution Modélisation des contraintes d évolution dynamique d un canal Les plans d exécution Intégration d éléments de description de HADEL dans VODEL-D Synthèse Un exemple de description d une application répartie Description des entités passives physiques et logiques Description des entités actives Page 2

Le médiateur : colle des architectures logicielles client-serveur... 80 2.4. Conclusion... 86 3. Les architectures client-serveur selon un axe langage 87 3.1. Rappels sur le modèle objet... 87 3.2. Classification des langages objets.

3 3.3. Description des entités logicielles de définition Descriptions des liens de communication entre entités logicielles de définition Description des entités logicielles d exécution Description des plans d exécution Analyse près exécution Discussion Conclusion Références bibliographiques 152 Chapitre 4 - Placement de composants logiciels : Application à l équilibrage d application Les méthodes de prototypage Première classification des techniques de prototypage Autre classification des techniques de prototypage Synthèse : le prototypage par raffinements Contexte de l étude : la méthode MARS Les trois formalismes de MARS Génération d applications et MEDEVER Génération d applications à partir de réseaux de Petri Etat de l art Notre approche de la génération d applications Conclusion Génération d applications à partir de H-COSTAM Présentation de H-COSTAM Placement des objets H-COSTAM Conclusion Application à un exemple de chaîne d assemblage automobile Le modèle initial Prototypage à partir du réseau de Petri Modélisation avec H-COSTAM Comparaison des deux approches Conclusion Génération d applications à partir d un modèle formel Génération d applications à partir d un modèle opérationnel Mise en oeuvre et perspectives Références bibliographiques 190 Chapitre 5 - Placement de composants logiciels : Application à l équilibrage de charge Placement sur des systèmes parallèles et répartis Représentation des programmes Les algorithmes de placement Du placement dynamique vers le placement hybride Page 3

Références bibliographiques 152 Chapitre 4 - Placement de composants logiciels : Application à l équilibrage d application 153 1. Les méthodes de prototypage 155 1.1. Première classification des techniques de prototypage.

4 1.4. Synthèse Equilibrage de charge et placement hybride dans IDEFIX Gestion de l équilibrage de charge Intégration de l environnement dynamique Gestion des applications dynamiques : VODEL-D Conclusion Références bibliographiques 217 Chapitre 6 - Mise en oeuvre Description et gestion de l architecture matérielle La description à l aide de Macao Gestion de bibliothèques d architectures matérielles Gestion des requêtes Conclusion Présentation de Gatostar Environnement système de Gatostar Le modèle d application et le langage GEL Placement dynamique multi-critères Synthèse IDEFIX : intégration de Gatostar, HADEL et VODEL-D Placement Statique : de VODEL-D vers GEL Intégration de la gestion des applications dynamiques : VODEL-D Intégration de VODEL-D et de Gatostar Synthèse Mise en oeuvre d IDEFIX Le segment de mémoire partagée Le gestionnaire de cohérence Sessions coopératives Les compilateurs de VODEL-D Deux utilitaires développés dans IDEFIX Performances Perspectives Références bibliographiques 243 Conclusion Générale MEDEVER et sa mise en oeuvre Description des architectures Recherche de la granularité des composants et de leur placement Exécution répartie Analyse de l exécution et optimisation Conclusion Perspectives 250 Page 4

.. 224 1.3. Gestion des requêtes... 225 1.4. Conclusion... 226 2. Présentation de Gatostar 226 2.1. Environnement système de Gatostar... 226 2.2. Le modèle d application et le langage GEL... 227 2.3. Placement dynamique multi-critères.

5 2.1. Equilibrage d application et génération de code Equilibrage de charge et gestion de la mobilité Références bibliographiques 254 Annexe A : Bibliographie commentée 259 Langages de programmation objets concurrents 260 Langages de description d architectures logicielles 270 Normes et spécifications 281 Protocoles d interactions 292 Environnements 299 Systèmes répartis et systèmes agents 317 Annexe B : BNF du langage HADEL 327 Annexe C : BNF du langage VODEL-D 333 Annexe D : BNF du formalisme H-COSTAM 341 Annexe E : Comparaison des bibliothèques de communication hétérogènes 351 Annexe F : Les jeux d essai (benchmark) 357 Index Général 361 Page 5

logicielles 270 Normes et spécifications 281 Protocoles d interactions 292 Environnements 299 Systèmes répartis et systèmes agents 317 Annexe B : BNF du langage HADEL

6 Page 6

Documents pareils

Chapitre 3 - VODEL, un langage de description d architectures logicielles statiques et dynamiques

Chapitre 3 - VODEL, un langage de description d architectures logicielles statiques et dynamiques «Examine soigneusement chaque voie. Essaye aussi souvent que tu le crois nécessaire. Puis pose toi la seule