Conception d'algorithmes répartis et de protocoles réseaux en approche objet

par Lionel Seinturier

Thèse de doctorat en Sciences appliquées

Sous la direction de Gérard Florin.

Soutenue en 1997

à Paris, CNAM .

    mots clés mots clés


  • Résumé

    Dans cette these, nous nous interessons a la conception d'algorithmes repartis, de protocoles reseaux et d'applications cooperatives avec une approche objet. Nous proposons differents outils et formalismes permettant de mener a bien cette tache. L'originalite de notre approche est, d'une part, d'etendre le point de vue local des methodologies de conception existantes afin d'integrer les comportements de groupes d'objets distribues, et d'autre part, de proposer les premiers elements d'une demarche systematique d'algorithmique repartie. Ainsi, nous proposons un processus de developpement en trois niveaux methodologiques : groupe, objet et methode. Nous nous interessons plus particulierement aux deux premiers niveaux. Le niveau groupe concerne la coordination des comportements de groupes d'objets distribues. Nous modelisons les interactions au sein de tels groupes en terme d'echanges de connaissances. Nous avons mis en evidence quatre structures de controle de groupe qui apparaissent dans de nombreuses applications distribuees : le schema de phasage, la conditionnelle distribuee, l'iteration distribuee et la recursion distribuee. Elles peuvent etre vues comme l'extension, a un niveau reparti, des structures algorithmiques de base que sont, respectivement, la sequence, les instructions de type case ou if, les boucles while et le parcours recursif. Le niveau objet s'interesse a la coordination des comportements internes a un objet. Pour mener a bien ce travail nous proposons le langage caolac. Nous en avons realise une implantation au-dessus du langage objet du systeme distribue guide. Le langage caolac se presente sous la forme d'un protocole meta-objet et separe les aspects de synchronisation des traitements effectifs. L'originalite du langage caolac est d'utiliser conjointement un modele a base d'etats et de transitions et du code objet habituel pour l'ecriture des meta-classes. La semantique du langage caolac est definie, partiellement, par une logique temporelle, la logique temporelle d'actions de lamport.

  • Titre traduit

    Object-oriented design of distributed applications and network protocols


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 249 P.
  • Annexes : 159 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : Th A 302
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : Th A 302 double
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • PEB soumis à condition
  • Cote : MFT 214
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.