Précédent : Expériences avec ALF Remonter : Architecture flexible de protocole haute Suivant : HIPPCO : Un optimiseur automatique

Frontal du compilateur de protocole ALFred

Participants : Isabelle Chrisment, Christophe Diot, Laurent Gautier

Nous avons travaillé sur la conception d'un premier prototype de la partie frontale du compilateur (le parser ). A partir de la description de cette application en ESTEREL, le support de communication le plus adapté est sélectionné puis intégré à la spécification de l'application avant de produire automatiquement une implantation performante. Nous avons pris en compte dans le prototype uniquement les aspects ALF. Nous continuons de travailler sur l'extension de cette partie frontale, notre but étant d'intégrer des mécanismes de contrôle de communication dans la spécification formelle d'une application distribuée quelconque. La réalisation de ce parser se fait en deux parties. La première consiste à identifier les mécanismes de contrôle que nous désirons intégrer : ces contrôles concernent, par exemple, la fiabilité de la communication ou l'ordre de séquencement des messages. La seconde partie est consacrée à l'implémentation du parser dans un environnement de conception de langage : Centaur. Des tests de ce parser sont encore en cours actuellement, et seront prochainement suivis par une étude de performance par rapport aux implémentations classiques des mécanismes de contrôle.