Abstract FR:

Un nombre important de protocoles de communication multipoint ont ete developpes pour supporter les besoins tres varies des applications de groupe en terme de fiabilite, d'extensibilite, d'ordre, de debit, etc. Etant donnee la variete des besoins, la conception d'un protocole multipoint satisfaisant un large ensemble d'applications parait impossible sans l'introduction de la notion de qualite de service. L'introduction de la qualite de service confere au protocole la proprete de flexibilite qui permet de repondre aux besoins subtils de certaines applications, sans pour autant penaliser les applications dont les besoins en services sont plus modestes. De plus, les services fournis peuvent co-exister au sein d'une meme application. Cela peut etre rendu possible en appliquant la qualite de service requise sur chaque paquet diffuse. C'est dans cet esprit que nous avons propose fmp (flexible multicast protocol), un protocole qui repose, d'une part, sur le principe d'un support d'accueil minimal et fiable (application level framing), et d'autre part, sur le principe d'un support offrant divers services multipoints selectionnables sur la base de chaque paquet diffuse. Fmp repose sur une architecture en couches qui permet des groupes ayant des besoins diffrents de coexister dans un mme systme. Le modle de communication repose sur une collection de services de fiabilite et d'ordre au dessus d'un service de livraison de type best-effort). Nous proposons deux modules d'ordonnancement total et causal. L'ordre total fournit un modele d'execution virtuellement synchrone utilisable notamment par les protocoles de gestion de groupe, alors que l'ordre causal est un ordre partiel qui n'induit pas le degre de synchronisme eleve inherent aux protocoles atomiques. Pour realiser fmp, nous avons utilise un langage de specification formelle (estelle). Ce langage fournit une modularit et une encapsulation des donnes et des comportements, permettant la construction de protocoles par la combinaison des descriptions d'objets hierarchises et rutilisables. Le comportement de chaque objet est decrit de maniere rigoureuse par des automates a etats finis.