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

• Auteur / Autrice : PIERRE MONDAIN-MONVAL
• Direction : Michel Diaz
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1987
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés libres

Sciences appliquees

Telecommunications et theorie de l'information

Reseau ordinateur

Reseau telecommunication

Appel procedure

Traitement reparti

Architecture osi

Computer network

Telecommunication network

Procedure call

Distributed processing

Osi architecture

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