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 :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00470539
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

File

2008PEST0232_0_1.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00470539, version 1

Citation

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⟩

Share

Metrics

Record views

480

Files downloads

157