Mots clés : programmation parallèle
asynchrone, langage de spécification, objets réactifs, bus
logiciel .
Participants : Semi Gaieb
[correspondant], Thierry Despeyroux.
ROL [12], développé par Sémi Gaieb dans le cadre de
son travail de thèse, est un langage de spécifications
d'objets communiquant par l'intermédiaire d'un bus logiciel.
ROL permet de décrire clairement les interactions entre des
objets, indépendamment du langage dans lequel ils sont
écrits, et indépendamment de la configuration de
l'application.
ROL a été utilisé pour la spécification du logiciel Hermes
ainsi que pour un systéme d'aide à la navigation dans un
répertoire thématique (cf educaid FT &INRIA ).