Thèse soutenue

Contribution au developpement d'un environnement de programmation pour les applications distribuees
FR  |  
EN
Accès à la thèse
Auteur / Autrice : AHMED MAOUCHE
Direction : Michel Schneider
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1995
Etablissement(s) : Clermont-Ferrand 2

Résumé

FR

Ce memoire presente notre contribution au developpement d'un environnement de programmation des applications distribuees. Nos reflexions sont articulees autour de deux axes. Le premier est un formalisme textuel pour la description des applications distribuees. Il est base sur l'entite acteur du modele mo2. Il fournit principalement un mecanisme original pour l'expression des communications inteprocessus. Ce mecanisme, appele communications anonymes, permet des communications par messages sans designation des entites communicantes. Il offre une plus grande puissance d'expression et un plus haut niveau d'abstraction relativement aux mecanismes classiques (point a point, rendez-vous, rpc,). Le deuxieme axe de notre travail est un formalisme graphique de structuration des applications distribuees, destine aux architectures paralleles a base de transputers. Ce formalisme est base sur les formes. Chaque forme presente un graphe de connexion particulier sur lequel s'appuie le principe de communications des acteurs. Nous avons defini quatre formes de base: pipeline, arbre, jonction et matrice. L'instanciation des formes de base et leurs connexions permettent de construire des architectures complexes. Dans ce formalisme graphique, deux modes de communications par messages sont possibles. Le premier est base sur la designation relative et le second sur les communications anonymes. La designation relative d'un acteur depend uniquement de sa position dans la forme de base. Des mots cles specifiques sont utilises dans ce contexte (pnord, psud, pest, pouest psuiv preced,). Les communications anonymes permettent a deux acteurs quelconques de communiquer independamment de leurs identites et de leurs positions dans les formes. Les schemas de communications entre acteurs apparaissent alors virtuellement comme des graphes completement connectes