Générer du code client/serveur à partir d'une spécification formelle

Bonjour,

J'aimerais savoir si vous connaissez des solutions techniques pour générer automatiquement le squelette de code d'un client ou d'un serveur à partir d'une description formelle du protocole de communication, par exemple sous la forme d'un diagramme SDL, d'un diagramme UML état-transition, d'une autre forme d'automate...

J'ai le vague souvenir d'avoir croisé, il y a une dizaine d'années, un soft propriétaire qui faisait des choses similaires à partir de SDL, mais pas moyen de remettre la main dessus (et puis évidemment je préfèrerais une solution libre). À titre de curiosité intellectuelle je suis intéressé par des solutions pour n'importe quel langage de programmation. À un titre plus personnel et plus pratique, Java ou C++ seraient parfait...

Merci d'avance