Les espaces d'interaction Vers une géométrie des systèmes d'agents mobiles

Les systemes d'agents mobiles sont de grande complexite, notamment du fait de leur nature hautement dynamique. Au dela des experimentations « pratiques », de nombreux travaux s'interessent a la caracterisation plus fondamentale de ces systemes. Mais la plupart des approches negligent certains aspects selon nous fondamentaux comme la semantique de communication. Elles sont de plus generalement peu flexibles a ce niveau et developpent en outre une vision subjective de la mobilite. Pour aborder ces questions, nous proposons le modele des Espaces d'Interaction (eI), une semantique qui se distingue par son caractere geometrique. Un eI possede trois dimensions: agents ou localisations, canaux de communication et etat de ces canaux. Les operations fondamentales des agents, pour communiquer ou se mouvoir sont assimilees a des transformations geometriques simples. Au dessus des eI, nous proposons le cube-calcul. Concu comme une variante appliquee du π-calcul, ce prototype de langage de programmation implemente des formes objectives de mobilite des agents et des liens de communication. Nous insistons egalement sur son caractere « realiste ».