Programmation orientée interaction

Initié au début des années 2000, le projet MGS a eu pour objectif de développer des outils expressifs pour représenter des structures en croissance. La modélisation et la simulation des phénomènes morphogénétiques se heurtent en effet à une problématique de type paradoxe de l'œuf et de la poule conduisant à une spécification délicate devant prendre en compte le couplage entre des processus à l'œuvre sur un espace en croissance dont l'évolution est elle-même dirigée par ces processus.

L'idée fondamentale du projet a été de considérer une structure en croissance comme le résultat d'une multitude d'interactions entre ses éléments constituants. Cette idée se traduit par l'élaboration d'un modèle de calcul reposant sur les relations spatiales induites par ces interactions, et sa réalisation sous la forme d'un langage de programmation par règle : MGS. Bien que, par son origine, MGS semble dédié à la modélisation de systèmes biologiques, son paradigme sous-jacent fondé sur les interactions permet le développement de nouveaux mécanismes de programmation en toute généralité.

Nous présenterons les principales contributions apportées par ce projet et développeront quelques travaux actuels qu'il a permis d'initier.