Résumé Thèse Mahdi Zargayouna


Cette thèse propose un modèle de coordination orienté-données pour les systèmes multi-agents ouverts. Le modèle de coordination Acios représente des agents avec un état observable de l'environnement, accédant aux données d'une manière associative avec un mécanisme d'appariement leur permettant l'expression d'un besoin interactionnel complexe, notamment contextuel. Les données échangées dans un système multi-agent adhérant au modèle de coordination Acios sont sécurisées par les agents et par le concepteur du système. Le modèle représente un système multi-agent ouvert, permettant à un système externe de lier les variables libres des agents y évoluant. Le langage de coordination Lacios et la sémantique opérationnelle associée permet d'écrire des programmes adhérant au modèle et spécifie d'une manière non ambiguë le comportement prévu du système. Une implémentation sous la forme d'un langage de script au dessus de Java est développée, permettant une réalisation du système en se focalisant sur la coordination à un haut niveau d'abstraction et en garantissant son adhésion au modèle Acios. L'application support est un problème de grande complexité et se prêtant bien à une modélisation distribuée. Il s'agit du problème dynamique de tournées de véhicules et plus spécifiquement sa variante Transport À la Demande. Une réalisation en Lacios est proposée, la non violation des contraintes du problème est garantie grâce à l'observation des propriétés des objets de l'environnement. Une nouvelle mesure de choix entre véhicules concurrent pour l'insertion d'un client est proposée, reposant sur la quantification de leurs champs de perception.