Implémentation semi-automatique du protocole ELDA et contribution à une méthodologie de développement des protocoles d'application basée sur ESTELLE

par Cong Tin Nguyen

Thèse de doctorat en Informatique

Sous la direction de Michel Schneider.

Soutenue en 1993

à Clermont-Ferrand 2 .

    mots clés mots clés


  • Résumé

    Le travail de cette these s'insere dans le domaine du developpement de protocoles et en particulier les protocoles de la couche application. Pour ce developpement, nous avons adopte une methode formelle en choisissant les techniques normalisees par l'iso, les formal description techniques (fdts), en l'occurrence estelle. Une experimentation a ete menee sur le cycle de vie du protocole elda. Elda est un protocole de type sans connexion s'appuyant sur le service de transfert de messages (mts) du systeme de messagerie normalise mhs-84. Nous avons utilise et combine plusieurs outils pour permettre le developpement du protocole elda (ews, xesar, isode, pp) qui couvrent les phases specification, validation et implementation. Nous proposons dans le memoire de definir une methodologie de developpement utilisant le langage estelle comme support et une combinaison d'outils. Cette methodologie sert de guide pour les etapes de specification, de validation et d'implementation. L'experimentation a permis de tirer de precieux enseignements sur la specification en estelle, les differents outils supports et sur le protocole elda lui-meme. Ces resultats nous permettent d'une part, de proposer des caracteristiques d'un environnement integre de developpement de protocoles et d'autre part, une migration d'elda vers une nouvelle architecture respectant la structure la plus recente de la couche application


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (271-[54] p.)
  • Annexes : Biblio. p. 256-263

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque Clermont Université (Aubière). Section Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Université Blaise Pascal. Département de physique. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : AUTO10
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.