Abstract FR:

Apres avoir rappele quelques elements d'informatique repartie, nous examinons la structure d'algorithmes de detection de la terminaison en mettant particulierement en evidence des regles d'observation et de circulation qui les composent. Nous detaillons l'apport de la regle de circulation par vagues successives a la detection de la terminaison et la decomposition modulaire des algorithmes qui en decoule. Nous evaluons ensuite le cout effectif de ces algorithmes, c'est-a-dire le nombre de messages qu'ils utilisent. Pour cela une application de base et les algorithmes sont decrits en langage estelle et simules par l'outil veda. Pour chaque algorithme etudie, des intervalles de confiance du cout de la detection de la terminaison sont calcules a partir des resultats des simulations. En comparant ces intervalles generalement tres eloignes du cout maximum, nous analysons l'influence de la circulation des messages de controle le long d'une arborescence ou d'un anneau, et des delais de communication des messages sur le cout des algorithmes. Puis nous exposons deux demarches de conception d'un algorithme de controle pour la bureautique communicante que nous illustrons par le cas de la detection de la terminaison dans une base documentaire repartie