Participants : Françoise Baude, Denis Caromel, Nathalie Furmento, Yves Roudier
L'objectif général de cette action est de faciliter la programmation parallèle dans le cadre des langages asynchrones et impératifs, plus particulièrement en utilisant le paradigme des langages à objets.
Une orientation privilégiée de recherche consiste à appliquer nos travaux au domaine de la simulation à événements discrets, l'objectif étant d'utiliser le potentiel de réutilisation des langages parallèles à objets afin de construire des simulateurs parallèles qui soient génériques.
La réutilisation constitue une seconde orientation privilégiée de cette action : nous souhaitons être capables de transformer un système séquentiel en un système parallèle, et pouvoir dériver d'un système déjà parallèle un système où le taux de parallélisme est plus important.
Un autre principe est de s'appuyer autant que possible sur une sémantique formellement définie, notamment afin d'essayer de formaliser la réutilisation et la transformation de programmes.