Conception de services et de protocoles pour la gestion de groupes coopératifs

Le travail cooperatif est un domaine qui etudie le travail de groupes d'utilisateurs de facon generale. Sa finalite est la conception de collecticiels, ensembles logiciels qui contiennent les outils, les applications, et les plate-formes qui supportent les activites de groupes d'utilisateurs. La gestion de ces groupes et les echanges d'information entre leurs membres necessitent la definition de nouveaux services de communication adaptes aux besoins des agents en cooperation. Les travaux menes dans ce memoire ont consiste a definir, a concevoir et a gerer la structuration des groupes cooperatifs. Un modele a base de graphes a ete propose a partir du partage de donnees, pour representer les relations entre les divers membres d'un groupe cooperatif. A partir de ce modele, un service pour l'entree et la sortie en cooperation des agents cooperants a ete defini. Un protocole de communication sous-jacent a ete specifie en utilisant le langage de description formelle Estelle. Le protocole propose a ete verifie en utilisant l'environnement a base de reseaux de Petri VAL, puis a ete implante en langage C sous UNIX a partir du code Estelle genere. Une extension de ce travail permet la formation d'apartes qui sont des sous-groupes tres dynamiques crees a l'interieur de la cooperation. Un autre protocole specifie en Estelle a ete propose pour gerer la formation de ces apartes et leur evolution au sein de la cooperation. En plus de la structuration des groupes, une etude des donnees qui peuvent etre echangees entre des agents cooperants a mene a la definition d'un service de gestion des dependances de donnees. Ce service, specifie egalement en Estelle, permet de creer, supprimer ou modifier des dependances entre donnees, et repercute les modifications de valeurs vers l'ensemble des donnees dependantes.