Assistance au développement de spécifications de protocoles de communication
Identifieur interne :
000B49 ( PascalFrancis/Corpus );
précédent :
000B48;
suivant :
000B50
Assistance au développement de spécifications de protocoles de communication
Auteurs : T. Lambolais ;
N. Levy ;
J. SouquieresSource :
-
TSI. Technique et science informatiques [ 0752-4072 ] ; 1998.
RBID : Pascal:99-0095559
Descripteurs français
English descriptors
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 schéma 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 conceme la spécification du comportement temporel du protocoles. Le langage utilisé pour décrire la spécification des protocoles est LOTOS.
Notice en format standard (ISO 2709)
Pour connaître la documentation sur le format Inist Standard.
| pA |
| A01 | 01 | 1 | | @0 0752-4072 |
|---|
| A02 | 01 | | | @0 TTSIDJ |
|---|
| A03 | | 1 | | @0 TSI, Tech. sci. inform. |
|---|
| A05 | | | | @2 17 |
|---|
| A06 | | | | @2 9 |
|---|
| A08 | 01 | 1 | FRE | @1 Assistance au développement de spécifications de protocoles de communication |
|---|
| A09 | 01 | 1 | FRE | @1 Approches formelles dans l'assistance au développement de logiciels |
|---|
| A11 | 01 | 1 | | @1 LAMBOLAIS (T.) |
|---|
| A11 | 02 | 1 | | @1 LEVY (N.) |
|---|
| A11 | 03 | 1 | | @1 SOUQUIERES (J.) |
|---|
| A14 | 01 | | | @1 LORIA, UMR 7503, BP 239 @2 54506 Vandœuvre-lès-Nancy @3 FRA @Z 1 aut. @Z 2 aut. @Z 3 aut. |
|---|
| A18 | 01 | 1 | | @1 Groupe ADER «Développement de Spécifications et de programmes» @3 FRA @9 patr. |
|---|
| A18 | 02 | 1 | | @1 Groupe FAC «Formalisation d'Activités Concurrentes» @3 FRA @9 patr. |
|---|
| A20 | | | | @1 1061-1082 |
|---|
| A21 | | | | @1 1998 |
|---|
| A23 | 01 | | | @0 FRE |
|---|
| A24 | 01 | | | @0 eng |
|---|
| A43 | 01 | | | @1 INIST @2 19593 @5 354000072963050010 |
|---|
| A44 | | | | @0 0000 @1 © 1999 INIST-CNRS. All rights reserved. |
|---|
| A45 | | | | @0 1 p.1/2 |
|---|
| A47 | 01 | 1 | | @0 99-0095559 |
|---|
| A60 | | | | @1 P @2 C |
|---|
| A61 | | | | @0 A |
|---|
| A64 | | 1 | | @0 TSI. Technique et science informatiques |
|---|
| A66 | 01 | | | @0 FRA |
|---|
| A68 | 01 | 1 | ENG | @1 Assistance to develoipement of communication protocol specifications |
|---|
| C01 | 01 | | FRE | @0 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 schéma 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 conceme la spécification du comportement temporel du protocoles. Le langage utilisé pour décrire la spécification des protocoles est LOTOS. |
|---|
| C02 | 01 | X | | @0 001D02B04 |
|---|
| C02 | 02 | X | | @0 001D02B09 |
|---|
| C02 | 03 | X | | @0 001D04B03A |
|---|
| C03 | 01 | X | FRE | @0 Système réparti @5 01 |
|---|
| C03 | 01 | X | ENG | @0 Distributed system @5 01 |
|---|
| C03 | 01 | X | SPA | @0 Sistema repartido @5 01 |
|---|
| C03 | 02 | X | FRE | @0 Réseau ordinateur @5 02 |
|---|
| C03 | 02 | X | ENG | @0 Computer network @5 02 |
|---|
| C03 | 02 | X | SPA | @0 Red ordenador @5 02 |
|---|
| C03 | 03 | X | FRE | @0 Protocole transmission @5 03 |
|---|
| C03 | 03 | X | ENG | @0 Transmission protocol @5 03 |
|---|
| C03 | 03 | X | SPA | @0 Protocolo transmisión @5 03 |
|---|
| C03 | 04 | X | FRE | @0 Génie logiciel @5 04 |
|---|
| C03 | 04 | X | ENG | @0 Software engineering @5 04 |
|---|
| C03 | 04 | X | SPA | @0 Ingeniería logiciel @5 04 |
|---|
| C03 | 05 | X | FRE | @0 Spécification formelle @5 05 |
|---|
| C03 | 05 | X | ENG | @0 Formal specification @5 05 |
|---|
| C03 | 05 | X | SPA | @0 Especificación formal @5 05 |
|---|
| C03 | 06 | X | FRE | @0 Développement logiciel @5 06 |
|---|
| C03 | 06 | X | ENG | @0 Software development @5 06 |
|---|
| C03 | 06 | X | SPA | @0 Desarrollo logicial @5 06 |
|---|
| C03 | 07 | X | FRE | @0 Méthode @5 07 |
|---|
| C03 | 07 | X | ENG | @0 Method @5 07 |
|---|
| C03 | 07 | X | SPA | @0 Método @5 07 |
|---|
| N21 | | | | @1 053 |
|---|
|
|---|
| pR |
| A30 | 01 | 1 | FRE | @1 AFADL'97. Atelier @2 1 @3 Toulouse FRA @4 1997-05 |
|---|
|
|---|
Format Inist (serveur)
| NO : | PASCAL 99-0095559 INIST |
|---|
| FT : | Assistance au développement de spécifications de protocoles de communication |
|---|
| ET : | (Assistance to develoipement of communication protocol specifications) |
|---|
| AU : | LAMBOLAIS (T.); LEVY (N.); SOUQUIERES (J.) |
|---|
| AF : | LORIA, UMR 7503, BP 239/54506 Vandœuvre-lès-Nancy/France (1 aut., 2 aut., 3 aut.) |
|---|
| DT : | Publication en série; Congrès; Niveau analytique |
|---|
| SO : | TSI. Technique et science informatiques; ISSN 0752-4072; Coden TTSIDJ; France; Da. 1998; Vol. 17; No. 9; Pp. 1061-1082; Abs. anglais; Bibl. 1 p.1/2 |
|---|
| LA : | Français |
|---|
| FA : | 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 schéma 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 conceme la spécification du comportement temporel du protocoles. Le langage utilisé pour décrire la spécification des protocoles est LOTOS. |
|---|
| CC : | 001D02B04; 001D02B09; 001D04B03A |
|---|
| FD : | Système réparti; Réseau ordinateur; Protocole transmission; Génie logiciel; Spécification formelle; Développement logiciel; Méthode |
|---|
| ED : | Distributed system; Computer network; Transmission protocol; Software engineering; Formal specification; Software development; Method |
|---|
| SD : | Sistema repartido; Red ordenador; Protocolo transmisión; Ingeniería logiciel; Especificación formal; Desarrollo logicial; Método |
|---|
| LO : | INIST-19593.354000072963050010 |
|---|
| ID : | 99-0095559 |
|---|
Links to Exploration step
Pascal:99-0095559
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="a">Assistance au développement de spécifications de protocoles de communication</title>
<author><name sortKey="Lambolais, T" sort="Lambolais, T" uniqKey="Lambolais T" first="T." last="Lambolais">T. Lambolais</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, UMR 7503, BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14><author><name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Levy">N. Levy</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, UMR 7503, BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14><author><name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquieres">J. Souquieres</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, UMR 7503, BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14><publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">99-0095559</idno>
<date when="1998">1998</date>
<idno type="stanalyst">PASCAL 99-0095559 INIST</idno>
<idno type="RBID">Pascal:99-0095559</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000B49</idno>
</publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr" level="a">Assistance au développement de spécifications de protocoles de communication</title>
<author><name sortKey="Lambolais, T" sort="Lambolais, T" uniqKey="Lambolais T" first="T." last="Lambolais">T. Lambolais</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, UMR 7503, BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14><author><name sortKey="Levy, N" sort="Levy, N" uniqKey="Levy N" first="N." last="Levy">N. Levy</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, UMR 7503, BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14><author><name sortKey="Souquieres, J" sort="Souquieres, J" uniqKey="Souquieres J" first="J." last="Souquieres">J. Souquieres</name>
<affiliation><inist:fA14 i1="01"><s1>LORIA, UMR 7503, BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14><series><title level="j" type="main">TSI. Technique et science informatiques</title>
<title level="j" type="abbreviated">TSI, Tech. sci. inform.</title>
<idno type="ISSN">0752-4072</idno>
<imprint><date when="1998">1998</date>
</imprint><seriesStmt><title level="j" type="main">TSI. Technique et science informatiques</title>
<title level="j" type="abbreviated">TSI, Tech. sci. inform.</title>
<idno type="ISSN">0752-4072</idno>
</seriesStmt><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Computer network</term>
<term>Distributed system</term>
<term>Formal specification</term>
<term>Method</term>
<term>Software development</term>
<term>Software engineering</term>
<term>Transmission protocol</term>
</keywords><keywords scheme="Pascal" xml:lang="fr"><term>Système réparti</term>
<term>Réseau ordinateur</term>
<term>Protocole transmission</term>
<term>Génie logiciel</term>
<term>Spécification formelle</term>
<term>Développement logiciel</term>
<term>Méthode</term>
</keywords><front><div type="abstract" xml:lang="fr">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 schéma 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 conceme la spécification du comportement temporel du protocoles. Le langage utilisé pour décrire la spécification des protocoles est LOTOS.</div>
</front><inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>0752-4072</s0>
</fA01><fA02 i1="01"><s0>TTSIDJ</s0>
</fA02><fA03 i2="1"><s0>TSI, Tech. sci. inform.</s0>
</fA03><fA08 i1="01" i2="1" l="FRE"><s1>Assistance au développement de spécifications de protocoles de communication</s1>
</fA08><fA09 i1="01" i2="1" l="FRE"><s1>Approches formelles dans l'assistance au développement de logiciels</s1>
</fA09><fA11 i1="01" i2="1"><s1>LAMBOLAIS (T.)</s1>
</fA11><fA11 i1="02" i2="1"><s1>LEVY (N.)</s1>
</fA11><fA11 i1="03" i2="1"><s1>SOUQUIERES (J.)</s1>
</fA11><fA14 i1="01"><s1>LORIA, UMR 7503, BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</fA14><fA18 i1="01" i2="1"><s1>Groupe ADER «Développement de Spécifications et de programmes»</s1>
<s3>FRA</s3>
<s9>patr.</s9>
</fA18><fA18 i1="02" i2="1"><s1>Groupe FAC «Formalisation d'Activités Concurrentes»</s1>
<s3>FRA</s3>
<s9>patr.</s9>
</fA18><fA20><s1>1061-1082</s1>
</fA20><fA21><s1>1998</s1>
</fA21><fA23 i1="01"><s0>FRE</s0>
</fA23><fA24 i1="01"><s0>eng</s0>
</fA24><fA43 i1="01"><s1>INIST</s1>
<s2>19593</s2>
<s5>354000072963050010</s5>
</fA43><fA44><s0>0000</s0>
<s1>© 1999 INIST-CNRS. All rights reserved.</s1>
</fA44><fA45><s0>1 p.1/2</s0>
</fA45><fA47 i1="01" i2="1"><s0>99-0095559</s0>
</fA47><fA60><s1>P</s1>
<s2>C</s2>
</fA60><fA64 i2="1"><s0>TSI. Technique et science informatiques</s0>
</fA64><fA66 i1="01"><s0>FRA</s0>
</fA66><fA68 i1="01" i2="1" l="ENG"><s1>Assistance to develoipement of communication protocol specifications</s1>
</fA68><fC01 i1="01" l="FRE"><s0>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 schéma 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 conceme la spécification du comportement temporel du protocoles. Le langage utilisé pour décrire la spécification des protocoles est LOTOS.</s0>
</fC01><fC02 i1="01" i2="X"><s0>001D02B04</s0>
</fC02><fC02 i1="02" i2="X"><s0>001D02B09</s0>
</fC02><fC02 i1="03" i2="X"><s0>001D04B03A</s0>
</fC02><fC03 i1="01" i2="X" l="FRE"><s0>Système réparti</s0>
<s5>01</s5>
</fC03><fC03 i1="01" i2="X" l="ENG"><s0>Distributed system</s0>
<s5>01</s5>
</fC03><fC03 i1="01" i2="X" l="SPA"><s0>Sistema repartido</s0>
<s5>01</s5>
</fC03><fC03 i1="02" i2="X" l="FRE"><s0>Réseau ordinateur</s0>
<s5>02</s5>
</fC03><fC03 i1="02" i2="X" l="ENG"><s0>Computer network</s0>
<s5>02</s5>
</fC03><fC03 i1="02" i2="X" l="SPA"><s0>Red ordenador</s0>
<s5>02</s5>
</fC03><fC03 i1="03" i2="X" l="FRE"><s0>Protocole transmission</s0>
<s5>03</s5>
</fC03><fC03 i1="03" i2="X" l="ENG"><s0>Transmission protocol</s0>
<s5>03</s5>
</fC03><fC03 i1="03" i2="X" l="SPA"><s0>Protocolo transmisión</s0>
<s5>03</s5>
</fC03><fC03 i1="04" i2="X" l="FRE"><s0>Génie logiciel</s0>
<s5>04</s5>
</fC03><fC03 i1="04" i2="X" l="ENG"><s0>Software engineering</s0>
<s5>04</s5>
</fC03><fC03 i1="04" i2="X" l="SPA"><s0>Ingeniería logiciel</s0>
<s5>04</s5>
</fC03><fC03 i1="05" i2="X" l="FRE"><s0>Spécification formelle</s0>
<s5>05</s5>
</fC03><fC03 i1="05" i2="X" l="ENG"><s0>Formal specification</s0>
<s5>05</s5>
</fC03><fC03 i1="05" i2="X" l="SPA"><s0>Especificación formal</s0>
<s5>05</s5>
</fC03><fC03 i1="06" i2="X" l="FRE"><s0>Développement logiciel</s0>
<s5>06</s5>
</fC03><fC03 i1="06" i2="X" l="ENG"><s0>Software development</s0>
<s5>06</s5>
</fC03><fC03 i1="06" i2="X" l="SPA"><s0>Desarrollo logicial</s0>
<s5>06</s5>
</fC03><fC03 i1="07" i2="X" l="FRE"><s0>Méthode</s0>
<s5>07</s5>
</fC03><fC03 i1="07" i2="X" l="ENG"><s0>Method</s0>
<s5>07</s5>
</fC03><fC03 i1="07" i2="X" l="SPA"><s0>Método</s0>
<s5>07</s5>
</fC03><fN21><s1>053</s1>
</fN21><pR><fA30 i1="01" i2="1" l="FRE"><s1>AFADL'97. Atelier</s1>
<s2>1</s2>
<s3>Toulouse FRA</s3>
<s4>1997-05</s4>
</fA30><server><NO>PASCAL 99-0095559 INIST</NO>
<FT>Assistance au développement de spécifications de protocoles de communication</FT>
<ET>(Assistance to develoipement of communication protocol specifications)</ET>
<AU>LAMBOLAIS (T.); LEVY (N.); SOUQUIERES (J.)</AU>
<AF>LORIA, UMR 7503, BP 239/54506 Vandœuvre-lès-Nancy/France (1 aut., 2 aut., 3 aut.)</AF>
<DT>Publication en série; Congrès; Niveau analytique</DT>
<SO>TSI. Technique et science informatiques; ISSN 0752-4072; Coden TTSIDJ; France; Da. 1998; Vol. 17; No. 9; Pp. 1061-1082; Abs. anglais; Bibl. 1 p.1/2</SO>
<LA>Français</LA>
<FA>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 schéma 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 conceme la spécification du comportement temporel du protocoles. Le langage utilisé pour décrire la spécification des protocoles est LOTOS.</FA>
<CC>001D02B04; 001D02B09; 001D04B03A</CC>
<FD>Système réparti; Réseau ordinateur; Protocole transmission; Génie logiciel; Spécification formelle; Développement logiciel; Méthode</FD>
<ED>Distributed system; Computer network; Transmission protocol; Software engineering; Formal specification; Software development; Method</ED>
<SD>Sistema repartido; Red ordenador; Protocolo transmisión; Ingeniería logiciel; Especificación formal; Desarrollo logicial; Método</SD>
<LO>INIST-19593.354000072963050010</LO>
<ID>99-0095559</ID>
</server>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000B49 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000B49 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= PascalFrancis
|étape= Corpus
|type= RBID
|clé= Pascal:99-0095559
|texte= Assistance au développement de spécifications de protocoles de communication
}}
| This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022 |  |
