Conception et verification d'un service d'appel de procedure a distance dans les reseaux heterogenes

par PIERRE MONDAIN-MONVAL

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Diaz.

Soutenue en 1987

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    Le protocole de controle defini dans ce memoire est base sur l'extension du mecanisme procedural en milieu reparti. Les travaux presentes dans ce memoire decrivent dans un premier temps l'architecture generale des applications reparties, et proposent une architecture fonctionnelle pour le controle de telles applications. Dans un deuxieme temps, un service de controle derive de l'appel de procedure est defini et compare avec l'existant. Ce protocole et le service associe sont ensuite verifies au moyen d'un logiciel de verification de systemes decrits sous forme de reseaux de petri de type predicats-transitions. Le systeme est ensuite formellement decrit en utilisant le langage estelle


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 157 P.
  • Annexes : 87 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : C-MON
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1987TOU30240
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.