Abstract FR:

Une application réseau communique avec d'autres applications par le biais d'un ensemble consensuel de règles régissant la communication, appelé protocole. Cette communication est gérée par la partie de l'application connue comme la couche de support protocolaire qui gère la manipulaton de messages protocolaires. Elle s'avère être un composant critique d'une application réseau puisqu'elle représente l'interface entre celle-ci et le monde extérieur. Cette thèse propose une approche langage au développement de la couche de support protocolaire d'application réseaux, pour améliorer leur robustesse sans compromettre leur performance. Notre approche est fondée sur l'utilisation d'un langage dédié, Zebu, pour décrire la spécification des couches de support protocolaire d'applications réseaux qui utilisent des protocoles applicatifs à la HTTP.