Assistance au développement de spécifications de protocoles de communication - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Year : 1998

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

Thomas Lambolais
Nicole Lévy

Abstract

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
No file

Dates and versions

inria-00098447 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098447 , version 1

Cite

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, 1998, 17 (9), pp.1061-1082. ⟨inria-00098447⟩
60 View
0 Download

Share

Gmail Facebook X LinkedIn More