Un modèle génératif pour le développement de serveurs Internet - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2008

A generative model for Internet servers development

Un modèle génératif pour le développement de serveurs Internet

Gautier Loyauté
  • Fonction : Auteur
  • PersonId : 762463
  • IdRef : 137820283

Résumé

Internet servers are software with specific features. Indeed, they answer request of wide and distant clients, support the customer evolution and be robust because they never stop. The concurrency models allow to interleave the statements of wide customers. No general agreement frees on a better model. To abstract himself from the concurrency model, I propose a development model of Internet servers. Model checkers allow to increase the software safety. But, it is necessary to provide a simple model of software to check it. I propose to use my development model of servers in order to genrate ther server automatically and its formal model. Finally as the request parsing depends on the concurrency model, I propose to use Tatoo, a parser generator. Tatoo abstracts himself from this dependency and automates the development of parsing
Les serveurs Internet sont des logiciels particuliers. Ils doivent répondre aux demandes d'un grand nombre de clients distants, supporter leur évolution et être robustes car ils ne s'arrêtent jamais. Les modèles de concurrence permettent d'entrelacer les traitements d'un grand nombre de clients. Aucun consensus ne se dégage sur un meilleur modèle. Pour s'abstraire du modèle de concurrence, je propose un modèle de développement de serveurs Internet. Les outils de vérification formelle permettent d'accroître la sûreté des logiciels mais il est nécessaire de leur fournir un modèle simple du logiciel. Le modèle de développement que je propose est utilisé pour générer le serveur et son modèle formel. Le décodage d'une requête cliente dépend du modèle de concurrence. Je propose d'utiliser un générateur d'analyseur syntaxique qui s'abstrait de ce problème et automatise le développement du décodage
Fichier principal
Vignette du fichier
2008PEST0232_0_1.pdf (1.29 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-00470539 , version 1 (06-04-2010)

Identifiants

  • HAL Id : tel-00470539 , version 1

Citer

Gautier Loyauté. Un modèle génératif pour le développement de serveurs Internet. Autre [cs.OH]. Université Paris-Est, 2008. Français. ⟨NNT : 2008PEST0232⟩. ⟨tel-00470539⟩
213 Consultations
104 Téléchargements

Partager

Gmail Facebook X LinkedIn More