Participants : Denis Caromel, Yves Roudier
Cet axe consiste en l'étude et la définition de bibliothèques pour la programmation de l'activité des processus (la synchronisation des routines exportées). Celles-ci existent à différents niveaux et permettent de répondre à des besoins très différents : programmation du service des requêtes envoyées à un processus, abstractions pour la programmation du contrôle des processus, classes spécifiques à l'environnement de simulation.
L'étude des abstractions pour la programmation du contrôle dans les langages parallèles se poursuit [41]. À ce titre, la collaboration en cours avec le LAN/École Centrale de Nantes a permis de définir en Eiffel// un cadre de programmation correspondant aux paradigmes du langage réactif Electre.