Abstract FR:

Cette thèse présente des concepts, modèles et outils pour la construction de systèmes informatiques dans le cadre des services électroniques disponibles partout et n'importe quand ("Everywhere Anytime Computing", AEC). Dans cette thèse nous considérons qu'un cadre de conception et de développement dans le contexte de l'AEC doit répondre aux points suivants : gestion de l'intermittence des communications, la composition des systèmes, le respect de l'autonomie des entités, et l'interopérabilité. Pour répondre aux trois premiers points le modèle algébrique d'infrastructure nommé Mouvement, Interaction, Computation (MIC*) est proposé. L'autonomie des agents est garantie grâce à l'intégrité structurelle. Le modèle d'interaction est persistant ce qui permet de s'affranchir des intermittences du médium de communication. La composition des systèmes est réalisée par la composition des environnements de déploiement. L'interopérabilité est abordée par la coordination. Les protocoles de coordination sont représentés comme des graphes de dépendance. Nous avons présenté le lien formel ainsi que le moyen concret pour valider des séquences de ressources par rapport à un protocole de coordination donné. Finalement, nous proposons un cadre de conception des systèmes informatiques dans le contexte de l'AEC où chaque système est spécifié comme une société artificielle, peuplée d'agents autonomes, ouverte et interopérable avec d'autres sociétés en coordonnant certaines activités. Nous avons pu implémenter et tester nos approches grâce à une plateforme de simulation où un utilisateur peut naviguer à travers un monde virtuel et interagir avec différents services.