Assistance au développement de spécifications de protocoles de communication
Identifieur interne : 00B796 ( Main/Merge ); précédent : 00B795; suivant : 00B797Assistance au développement de spécifications de protocoles de communication
Auteurs : Thomas Lambolais ; Nicole Lévy ; Jeanine SouquièresSource :
- Technique et Science Informatiques - TSI ; 1998.
English descriptors
- KwdEn :
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.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 002263
- to stream Crin, to step Curation: 002263
- to stream Crin, to step Checkpoint: 002323
Links to Exploration step
CRIN:lambolais98bLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="28">Assistance au développement de spécifications de protocoles de communication</title></titleStmt><publicationStmt><idno type="RBID">CRIN:lambolais98b</idno><date when="1998" year="1998">1998</date><idno type="wicri:Area/Crin/Corpus">002263</idno><idno type="wicri:Area/Crin/Curation">002263</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002263</idno><idno type="wicri:Area/Crin/Checkpoint">002323</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002323</idno><idno type="wicri:Area/Main/Merge">00B796</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Assistance au développement de spécifications de protocoles de communication</title><author><name sortKey="Lambolais, Thomas" sort="Lambolais, Thomas" uniqKey="Lambolais T" first="Thomas" last="Lambolais">Thomas Lambolais</name></author><author><name sortKey="Levy, Nicole" sort="Levy, Nicole" uniqKey="Levy N" first="Nicole" last="Lévy">Nicole Lévy</name></author><author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name></author></analytic><series><title level="j">Technique et Science Informatiques - TSI</title><imprint><date when="1998" type="published">1998</date></imprint></series></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Lotos</term><term>communication protocols</term><term>construction</term><term>development operator</term><term>development step</term><term>methods</term><term>proplane model</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr" wicri:score="-1294">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.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00B796 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00B796 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= RBID
|clé= CRIN:lambolais98b
|texte= Assistance au développement de spécifications de protocoles de communication
}}
| This area was generated with Dilib version V0.6.33. |  |