Assistance au développement de spécifications de protocoles de communication

Thomas Lambolais 1 Nicole Lévy 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Cet article présente l'utilisation du modèle Proplane pour l'aide au développement de spécifications de protocoles de communication. Quelques étapes caractéristiques de la production de spécifications sont mises en évidence. Ces étapes sont modélisées par l'application d'opérateurs de développement. Un opérateur fait évoluer le développement en apportant des informations sur la planification du travail à réaliser ainsi qu'un schema prédéfini de spécification. Deux familles d'opérateurs sont proposées. l'une concerne les étapes d'élaboration d'une structure permettant d'exhiber le corps du protocole, l'autre concerne la spécification du comportement temporel du protocole. Le langage utilisé pour décrire la spécification des protocoles est Lotos. || This paper presents the use of the Proplane framework to assist specification development of communication protocols. Some characteristic steps of the specification production are outlighted. Steps are modelled by operator application. An operator makes
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (9), pp.1061-1082
Liste complète des métadonnées

https://hal.inria.fr/inria-00098447
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:01:34
Dernière modification le : lundi 21 mai 2018 - 10:18:04

Identifiants

  • HAL Id : inria-00098447, version 1

Collections

Citation

Thomas Lambolais, Nicole Lévy, Jeanine Souquières. Assistance au développement de spécifications de protocoles de communication. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (9), pp.1061-1082. 〈inria-00098447〉

Partager

Métriques

Consultations de la notice

89