La messagerie électronique fournit un nouveau moyen de communication entre individus. Les applications de communication de groupe en mode messagerie permettent aux utilisateurs d'effectuer des travaux coopératifs. Dans ces applications, un outil général est nécessaire pour stocker et gérer les messages d'une façon distribuée dans un environnement multi-utilisateurs distribue. Cette thèse présente la conception et la réalisation d'un tel outil: SAM (serveur d'archivage de messages). Sam peut être caractérisé par trois modelés et un protocole d'accès. Le modèle architectural décompose SAM en deux parties: un noyau (MAP) qui stocke et gère les messages et fournit des fonctions de base, et un ensemble de composants (FE) qui adaptent SAM à différentes applications. Le modèle conceptuel définit d'une façon abstraite des objets que SAM doit gérer du point de vue des applications. Le modèle de MAP spécifie les objets à stocker et gérer, leurs relations et leur représentation, ainsi que le service fourni par MAP pour manipuler ces objets. Le protocole d'accès PSAM définit de façon formelle l'interface d'accès entre MAP et les FE, en utilisant le langage de description ASN.1 recommandé par le CCITT et l'ISO. Quelques exemples d'utilisation de SAM sont également présentés afin de valider notre conception de cet outil.

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.