Contribution a la modelisation qualitative et quantitative des protocoles de communication : application au protocole xtp

par Ahmad Bassel Alkhechi

Thèse de doctorat en Sciences appliquées

Sous la direction de S. BUDKOWSKI.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    Le but principal de cette these est de proposer des methodologies pour la modelisation qualitative et quantitative des protocoles de communication. La premiere difficulte de la modelisation des protocoles est l'inexistence des theories pour passer directement de la definition du protocole en langage naturel a son modele. Dans cette these, on essaie de proposer une methode de pensee quand l'utilisateur se trouve en face du probleme de la modelisation qualitative ou quantitative des protocoles. Toutes les methodologies proposees sont appliquees au protocole xtp (xpress transfer protocol) qui a ete choisi comme exemple de demonstration. Une methode de translation automatique de reseaux de petri temporels vers estelle est presentee. Cette methode peut etre consideree comme une passerelle entre les methodes d'analyse quantitatives et qualitatives car elle permet a l'usager d'utiliser uniquement des outils estelle au lieu de plusieurs outils differents. Une methode est donnee quand l'utilisateur est en face du probleme de la specification d'un protocole en utilisant estelle comme une technique de description formelle. Cette methode permet d'obtenir une specification formelle en estelle bien structuree et facile a modifier. Une methodologie pour la validation des protocoles a partir de leurs specifications estelle est presentee. Cette methodologie consiste en deux etapes principales: validation de la specification estelle du protocole, et validation du protocole ou, en d'autres termes, verification que le protocole a un comportement correct. Finalement, le probleme de l'evaluation des performances est discute en utilisant les reseaux de files d'attente. Une approche qui conduit a un modele generique d'un hote et d'un reseaux est proposee

  • Titre traduit

    Contribution to the methodology of qualitative and quantitative modeling of communication protocols: application to the xtp protocol


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 174 P.
  • Annexes : 75 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1994 7
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1994

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1994-ALK
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.