Abstract FR:

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