Assistance au développement de spécifications de protocoles de communication - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 1998

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

Thomas Lambolais
Nicole Lévy

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
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00098447 , version 1

Citer

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 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More