Skip to Main content Skip to Navigation
Journal articles

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
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/inria-00098447
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:01:34 PM
Last modification on : Monday, February 3, 2020 - 5:08:01 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

119