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). Nous sommes partis de l'application de transfert d'images JPEG. 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 dans le parser. Ces contrôles sont, par exemples, le contrôle de la fiabilité de la communication, ou alors le contrôle de 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.