Les espaces d'interactions : vers une géométrie des systèmes d'agents mobiles
Résumé
Les systèmes d’agents mobiles sont de grande complexité, notamment du fait de leur nature hautement dynamique. Au delà des expérimentations « pratiques », de nombreux travaux s’intéressent à la caractérisation plus fondamentale de ces systèmes. Mais la plupart des approches négligent certains aspects selon nous fondamentaux comme la sémantique de communication. Elles sont de plus généralement peu flexibles à ce niveau et développent en outre une vision subjective de la mobilité. Pour aborder ces questions, nous proposons le modèle des Espaces d’Interaction (EI), une sémantique qui se distingue par son caractère géométrique. Un EI possède trois dimensions : agents ou localisations, canaux de communication et état de ces canaux. Les opérations fondamentales des agents, pour communiquer ou se mouvoir, sont assimilées à des transformations géométriques simples. Au dessus des EI, nous proposons le cube-calcul. Conçu comme une variante appliquée du π-calcul, ce prototype de langage de programmation implémente des formes objectives de mobilité des agents et des liens de communication. Nous insistons également sur son caractère « réaliste ».