Conception de services et de protocoles pour la gestion de groupes coopératifs
Résumé
Cooperative work is a domain that studies work of user groups in a general way. Its finality is the design of groupware, software sets that contain tools, applications and platforms for supporting the activities of user groups. The management of these groups and the information exchanges between their members require the definition of new communication services and protocols adapted to the needs of cooperative agents. Work presented inside this dissertation consist in defining, conceiving and managing the structuration of cooperative groups. A model based on graphs has been proposed based on the data sharing to represent the relationships between the different members of a cooperative group. From this model, a service has been defined to manage the entry and exit inside cooperation of the cooperative agents. An underlying communication protocol has been specified using the formal specification language Estelle. The proposed protocol has been verified using the Petri net environment VAL and has been implemented with the C language inside an UNIX environment from the generated Estelle code. An extension of this work allows the formation of private conversation subgroups (PCSs) that are dynamic subgroups created inside cooperations. Another protocol specified in Estelle has been proposed to manage the formation of PCSs and their evolution inside cooperation. In parallel with the group structuration, a study of the data that can be exchanged between cooperative agents has led to the definition of a service that manages data dependencies. This service, specified also in Estelle, allows to create, suppress or modify dependencies between data, and communicates the value changes to the set of dependent data.
Le travail coopératif est un domaine qui étudie le travail de groupes d'utilisateurs de façon générale. Sa finalité est la conception de collecticiels, ensembles logiciels qui contiennent les outils, les applications, et les plate-formes qui supportent les activités de groupes d'utilisateurs. La gestion de ces groupes et les échanges d'information entre leurs membres nécessitent la définition de nouveaux services de communication adaptés aux besoins des agents en coopération. Les travaux menés dans ce mémoire ont consisté à définir, à concevoir et à gérer la structuration des groupes coopératifs. Un modèle à base de graphes a été proposé à partir du partage de données, pour représenter les relations entre les divers membres d'un groupe coopératif. A partir de ce modèle, un service pour l'entrée et la sortie en coopération des agents coopérants a été défini. Un protocole de communication sous-jacent a été spécifié en utilisant le langage de description formelle Estelle. Le protocole proposé a été vérifié en utilisant l'environnement à base de réseaux de Petri VAL, puis a été implanté en langage C sous UNIX à partir du code Estelle généré. Une extension de ce travail permet la formation d'apartés qui sont des sous-groupes très dynamiques créés à l'intérieur de la coopération. Un autre protocole spécifié en Estelle a été proposé pour gérer la formation de ces apartés et leur évolution au sein de la coopération. En plus de la structuration des groupes, une étude des données qui peuvent être échangées entre des agents coopérants a mené à la définition d'un service de gestion des dépendances de données. Ce service, spécifié également en Estelle, permet de créer, supprimer ou modifier des dépendances entre données, et répercute les modifications de valeurs vers l'ensemble des données dépendantes.