Département des Sciences de l ’Information

Ce document introductif décrit, à partir de principes très généraux, le modèle calculatoire des Espaces d’Interactions. Ces espaces géométriques formalisent le comportement de systèmes multi-agents distribués et mobiles. L’abstraction proposée permet de décrire simplement les interactions se produisant dans ces systèmes: communication (synchrone/asynchrone, unipoint/multipoint) et mobilité (des agents et des ressources). Ces opérations correspondent à des transformations géométriques simples des espaces d’interactions considérés. Notre objectif à long terme concerne le raisonnement assisté (par ordinateur) sur le comportement dynamique de ces systèmes d’agents logiciels. Nous ne proposons pas ici de formulation mathématique du modèle mais tentons plutôt d’en exposer les principales intuitions sous-jacentes. We describe in this paper, from general principles, the computational model of Interaction Spaces. These geometrical spaces formalize the behaviour of distributed and mobile multi-agent systems. The proposed abstraction eases the description of interactions taking place within such systems: communication (synchronous/asynchrounous, unicast/multicast) and mobility (of agents and of resources). These operations are implemented as simple geometrical transformations of th