Distributed Implementation of Message Sequence Charts
Résumé
This work revisits the problem of program synthesis from spec- i cations described by High-level Message Sequence Charts. We rst show that in the general case, synthesis by a simple projection on each compo- nent of the system allows more behaviors in the implementation than in the speci cation. We then show that di erences arise from loss of ordering among messages, and show that behaviors can be preserved by addition of communication controllers, that intercept messages to add stamping in- formation before resending them, and deliver messages to processes in the order described by the speci cation.
Ce travail étudie le problme de la synthèse de programmes à partir des spéci cations décrites par des High-level Message Sequence Charts. Nous montrons d'abord que, dans le cas général, la synthèse par une simple projection sur chaque composante du système permet plus de comportements dans l'implémentation que dans la spécifi cation. Nous montrons ensuite que les comportements supplémentaires viennent d'une perte d'ordre entre les messages au moment de la projection, et que ces nouveaux comportements peuvent être évités en ajoutant des contrôleurs de communication qui interceptent les messages et qui y ajoutent des informations de contrôle avant de les envoyer au processus, préservant ainsi l'ordre décrit dans la spécification initiale.