Un modèle génératif pour le développement de serveurs Internet. (A generative model for Internet servers development)

Les serveurs Internet sont des logiciels particuliers. Ils doivent repondre aux demandes d'un grand nombre de clients distants, supporter leur evolution et etre robustes car ils ne s'arretent jamais. Les modeles de concurrence permettent d'entrelacer les traitements d'un grand nombre de clients. Aucun consensus ne se degage sur un meilleur modele. Pour s'abstraire du modele de concurrence, je propose un modele de developpement de serveurs Internet. Les outils de verification formelle permettent d'accroitre la surete des logiciels mais il est necessaire de leur fournir un modele simple du logiciel. Le modele de developpement que je propose est utilise pour generer le serveur et son modele formel. Le decodage d'une requete cliente depend du modele de concurrence. Je propose d'utiliser un generateur d'analyseur syntaxique qui s'abstrait de ce probleme et automatise le developpement du decodage