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

Elda protocol semi-automatic implementation and contribution for an application protocol development methodology bases on estelle

• Auteur / Autrice : Cong Tin Nguyen
• Direction : Michel Schneider
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1993
• Etablissement(s) : Clermont-Ferrand 2

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