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

Abstract : 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
Document type :
Complete list of metadatas

Contributor : Abes Star <>
Submitted on : Tuesday, April 6, 2010 - 6:51:02 PM
Last modification on : Wednesday, July 4, 2018 - 4:37:56 PM
Long-term archiving on : Thursday, June 30, 2011 - 12:14:02 PM


Version validated by the jury (STAR)


  • HAL Id : tel-00470539, version 1


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⟩



Record views


Files downloads