Abstract FR:

Cette these aborde le theme des systemes cooperatifs, c'est a dire d'applications informatiques permettant une resolution de problemes en cooperation avec un utilisateur humain. Nous tentons dans un premier temps de lever un certain flou regnant sur la notion de cooperation, afin de mettre en evidence les particularites de la cooperation homme-machine. A travers une analyse bibliographique de plusieurs applications reelles, nous presentons differents besoins introduits par les systemes cooperatifs. Nous proposons un cadre conceptuel permettant de specifier la cooperation homme-machine, en modelisant l'activite sous la forme de problemes et sous-problemes. L'originalite du modele que nous introduisons est de prendre en compte, pour la resolution de chaque probleme, non seulement les capacites des agents (le systeme et l'utilisateur) mais egalement leurs roles, c'est a dire les responsabilites qu'ils engagent face au probleme a resoudre. Cette derniere dimension est primordiale en situation de supervision de processus industriel par exemple. Ce modele a ete implemente sous la forme d'un environnement de developpement de systemes cooperatifs appele elico possedant une architecture reflexive de meta-controle. Cette reflexivite offre l'interet de repartir de la meme maniere les activites sur le domaine d'expertise et les activite relatives a la conduite de la resolution. Elico a ete utilise pour le developpement d'une application appelee australi, effectuant de la reprise de service des reseaux de distribution electrique. La reprise de service consiste, lors de la rupture d'alimentation d'une partie du reseau, a construire et appliquer des plans de secours permettant de restaurer les portions encore saines. Dans les cas simples, la reprise peut etre effectuee de maniere relativement automatisee, confiant la plupart des responsabilites au systeme. Toutefois, si la situation est plus complexe que prevue, ou si des evenements inattendus surviennent, l'introduction graduelle de l'utilisateur dans la boucle de decision peut etre necessaire.