.rs .\" Troff code generated by TPS Convert from ITU Original Files .\" Not Copyright ( c) 1991 .\" .\" Assumes tbl, eqn, MS macros, and lots of luck. .TA 1c 2c 3c 4c 5c 6c 7c 8c .ds CH .ds CF .EQ delim @@ .EN .nr LL 40.5P .nr ll 40.5P .nr HM 3P .nr FM 6P .nr PO 4P .nr PD 9p .po 4P .rs \v | 5i' .sp 1P .ce 1000 \v'12P' \s12FASCICULE\ X.1 \v'4P' .RT .ce 0 .sp 1P .ce 1000 \fBRecommandation Z.100 et annexes A, B, C y E\fR .ce 0 .sp 1P .ce 1000 \fBRecommandation Z.110\fR \v'2P' .ce 0 .sp 1P .ce 1000 \fBLANGAGE\ DE\ SP\o"E\(aa"CIFICATION\ ET\ DE\fR .ce 0 .sp 1P .ce 1000 \fBDESCRIPTION\ FONCTIONNELLES\ (LDS)\fR .ce 0 .sp 1P .ce 1000 \fBCRIT\o"E\(ga"RES\ D'UTILISATION\ DES\ TECHNIQUES\fR .ce 0 .sp 1P .ce 1000 \fBDE\ DESCRIPTION\ FORMELLES\ (TDF)\fR .ce 0 .sp 1P .LP .rs .sp 01P .LP BLANC .bp .LP \fBMontage page 2 = page blanche\fR .sp 1P .RT .LP .EF '% \ \ \ ^'' .OF ''' \ \ \ ^ %' .LP .bp .LP \fB1\fR \ \ .LP 1.1\ \ .LP 1.1.1\ \ .LP 2.2.1.1\ \ .LP 2.1.1.1.1\ \ .LP .EF '% Fascicule\ X.1\ \(em\ Rec.\ Z.100'' .OF '''Fascicule\ X.1\ \(em\ Rec.\ Z.100 %' .LP MEP \fB[PA1]\fR : OK= [1] .LP .sp 2 .bp .sp 2P .LP \fBRecommandation Z.100\fR .RT .sp 2P .sp 1P .ce 1000 \fBLANGAGE\ DE\ DESCRIPTION\ ET\ DE\ SP\o"E\(aa"CIFICATION\ (LDS)\fR .EF '% Fascicule\ X.1\ \(em\ Rec.\ Z.100'' .OF '''Fascicule\ X.1\ \(em\ Rec.\ Z.100 %' .ce 0 .sp 1P .ce 1000 SOMMAIRE .sp 1P .RT .ce 0 .sp 1P .LP \s8Page \s9 .sp 1P .RT .ad r 1 \fIIntroduction au LDS\fR \ \ \ .sp 1P .RT .ad b .RT .ad r 1.1 Introduction \ \ \ .ad b .RT .ad r 1.1.1 Objectifs \ \ \ .ad b .RT .ad r 1.1.2 Applications \ \ \ .ad b .RT .ad r 1.1.3 Sp\*'ecification d'un syst\*`eme \ \ \ .ad b .RT .ad r 1.2 Grammaire du LDS \ \ \ .ad b .RT .ad r 1.3 D\*'efinitions de base \ \ \ .ad b .RT .ad r 1.3.1 Type, d\*'efinition et instance \ \ \ .ad b .RT .ad r 1.3.2 Environnment \ \ \ .ad b .RT .ad r 1.3.3 Erreurs \ \ \ .ad b .RT .ad r 1.4 Style de pr\*'esentation \ \ \ .ad b .RT .ad r 1.4.1 Division du texte \ \ \ .ad b .RT .ad r 1.4.2 Intitul\*'es \ \ \ .ad b .RT .ad r 1.5 M\*'etalangages \ \ \ .ad b .RT .ad r 1.5.1 M\*'eta IV \ \ \ .ad b .RT .ad r 1.5.2 BNF \ \ \ .ad b .RT .ad r 1.5.3 M\*'etalangage pour la grammaire graphique \ \ \ .ad b .RT .ad r 2 \fILDS de base\fR \ \ \ .sp 9p .RT .ad b .RT .ad r 2.1 Introduction \ \ \ .ad b .RT .ad r 2.2 R\*`egles g\*'en\*'erales \ \ \ .ad b .RT .ad r 2.2.1 R\*`egles lexicales \ \ \ .ad b .RT .ad r 2.2.2 R\*`egles de visibilit\*'e et identificateurs \ \ \ .ad b .RT .ad r 2.2.3 Texte informel \ \ \ .ad b .RT .ad r 2.2.4 R\*`eglas applicables aux dessins \ \ \ .ad b .RT .ad r 2.2.5 Subdivision des diagrammes \ \ \ .ad b .RT .ad r 2.2.6 Commentaire \ \ \ .ad b .RT .ad r 2.2.7 Extension de texte \ \ \ .ad b .RT .ad r 2.2.8 Symbole de texte \ \ \ .ad b .RT .ad r 2.3 Concept de base concernant les donn\*'ees \ \ \ .ad b .RT .ad r 2.3.1 D\*'efinitions de type de donn\*'ees \ \ \ .ad b .RT .ad r 2.3.2 Variable \ \ \ .ad b .RT .ad r 2.3.3 Valeurs et litt\*'eraux \ \ \ .ad b .RT .ad r 2.3.4 Expressions \ \ \ .ad b .RT .LP .bp .ad r \s8Page \s9 2.4 Structure du syst\*`eme \ \ \ .sp 1P .RT .ad b .RT .ad r 2.4.1 D\*'efinitions diff\*'er\*'ees \ \ \ .ad b .RT .ad r 2.4.2 Syst\*`eme \ \ \ .ad b .RT .ad r 2.4.3 Bloc \ \ \ .ad b .RT .ad r 2.4.4 Processus \ \ \ .ad b .RT .ad r 2.4.5 Proc\*'edure \ \ \ .ad b .RT .ad r 2.5 Communication \ \ \ .ad b .RT .ad r 2.5.1 Canal \ \ \ .ad b .RT .ad r 2.5.2 Acheminement de signal \ \ \ .ad b .RT .ad r 2.5.3 Connexion \ \ \ .ad b .RT .ad r 2.5.4 Signal \ \ \ .ad b .RT .ad r 2.5.5 D\*'efinition de listes de signaux \ \ \ .ad b .RT .ad r 2.6 Comportement \ \ \ .ad b .RT .ad r 2.6.1 Variables \ \ \ .ad b .RT .ad r 2.6.1.1 D\*'efinition de variable \ \ \ .ad b .RT .ad r 2.6.1.2 D\*'efinition de visibilit\*'e \ \ \ .ad b .RT .ad r 2.6.2 D\*'epart \ \ \ .ad b .RT .ad r 2.6.3 Etat \ \ \ .ad b .RT .ad r 2.6.4 Entr\*'ee \ \ \ .ad b .RT .ad r 2.6.5 Mise en r\*'eserve \ \ \ .ad b .RT .ad r 2.6.6 Etiquette \ \ \ .ad b .RT .ad r 2.6.7 Transition \ \ \ .ad b .RT .ad r 2.6.7.1 Corps de transition \ \ \ .ad b .RT .ad r 2.6.7.2 Terminateur de transition \ \ \ .ad b .RT .ad r 2.6.7.2.1 Etat suivant \ \ \ .ad b .RT .ad r 2.6.7.2.2 Branchement \ \ \ .ad b .RT .ad r 2.6.7.2.3 Arr\* | t \ \ \ .ad b .RT .ad r 2.6.7.2.4 Retour \ \ \ .ad b .RT .ad r 2.7 Action \ \ \ .ad b .RT .ad r 2.7.1 T\* | che \ \ \ .ad b .RT .ad r 2.7.2 Cr\*'eation \ \ \ .ad b .RT .ad r 2.7.3 Appel de proc\*'edure \ \ \ .ad b .RT .ad r 2.7.4 Sortie \ \ \ .ad b .RT .ad r 2.7.5 D\*'ecision \ \ \ .ad b .RT .ad r 2.8 Temporisateur \ \ \ .ad b .RT .ad r 2.9 Exemples \ \ \ .ad b .RT .ad r 3 \fIConcepts structurels dans le LDS\fR \ \ \ .sp 1P .RT .ad b .RT .ad r 3.1 Introduction \ \ \ .ad b .RT .ad r 3.2 Subdivision \ \ \ .ad b .RT .ad r 3.2.1 Consid\*'erations g\*'en\*'erales \ \ \ .ad b .RT .ad r 3.2.2 Subdivision de bloc \ \ \ .ad b .RT .ad r 3.2.3 Subdivision de canal \ \ \ .ad b .RT .ad r 3.3 Affinage \ \ \ .ad b .RT .LP .bp .ad r \s8Page \s94 \fIConcepts suppl\*'ementaires dans le LDS\fR \ \ \ .sp 1P .RT .sp 1P .RT .ad b .RT .ad r 4.1 Introduction \ \ \ .ad b .RT .ad r 4.2 Macro \ \ \ .ad b .RT .ad r 4.2.1 R\*`egles lexicales \ \ \ .ad b .RT .ad r 4.2.2 D\*'efinition de macro \ \ \ .ad b .RT .ad r 4.2.3 Appel de macro \ \ \ .ad b .RT .ad r 4.3 Syst\*`emes g\*'en\*'eriques \ \ \ .ad b .RT .ad r 4.3.1 Synonyme externe \ \ \ .ad b .RT .ad r 4.3.2 Expression simple \ \ \ .ad b .RT .ad r 4.3.3 D\*'efinitiones optionnelles \ \ \ .ad b .RT .ad r 4.3.4 Cha\* | nes de transition optionnelles \ \ \ .ad b .RT .ad r 4.4 Etat ast\*'erisque \ \ \ .ad b .RT .ad r 4.5 Apparition multiple d'\*'etat \ \ \ .ad b .RT .ad r 4.6 Entr\*'ee ast\*'erisque \ \ \ .ad b .RT .ad r 4.7 Mise en r\*'eserve ast\*'erisque \ \ \ .ad b .RT .ad r 4.8 Transition implicite \ \ \ .ad b .RT .ad r 4.9 Etat suivant pointill\*'e \ \ \ .ad b .RT .ad r 4.10 Service \ \ \ .ad b .RT .ad r 4.10.1 D\*'ecomposition de service \ \ \ .ad b .RT .ad r 4.10.2 D\*'efinition de service \ \ \ .ad b .RT .ad r 4.11 Signal continu \ \ \ .ad b .RT .ad r 4.12 Condition de validation \ \ \ .ad b .RT .ad r 4.13 Valeur import\*'ee et export\*'ee \ \ \ .ad b .RT .ad r 5 \fIDonn\*'ees dans le LDS\fR \ \ \ .sp 9p .RT .ad b .RT .ad r 5.1 Introduction \ \ \ .ad b .RT .ad r 5.1.1 Abstraction dans les types de donn\*'ees \ \ \ .ad b .RT .ad r 5.1.2 Aper\*,cu des formalismes utilis\*'es pour mod\*'eliser les donn\*'ees \ \ \ .ad b .RT .ad r 5.1.3 Terminologie \ \ \ .ad b .RT .ad r 5.1.4 Division du texte sur les donn\*'ees \ \ \ .ad b .RT .ad r 5.2 Le noyau de langage des donn\*'ees \ \ \ .ad b .RT .ad r 5.2.1 D\*'efinitions des types de donn\*'ees \ \ \ .ad b .RT .ad r 5.2.2 Litt\*'eraux et op\*'erateurs param\*'etris\*'es \ \ \ .ad b .RT .ad r 5.2.3 Axiomes \ \ \ .ad b .RT .ad r 5.2.4 Equations conditionnelles \ \ \ .ad b .RT .ad r 5.3 Mod\*`ele d'alg\*`ebre initiale (description informelle) \ \ \ .ad b .RT .ad r 5.3.1 Introduction \ \ \ .ad b .RT .ad r 5.3.1.1 Repr\*'esentations \ \ \ .ad b .RT .ad r 5.3.2 Signatures \ \ \ .ad b .RT .ad r 5.3.3 Termes et expressions \ \ \ .ad b .RT .ad r 5.3.3.1 G\*'en\*'eration de termes \ \ \ .ad b .RT .ad r 5.3.4 Valeurs et alg\*`ebres \ \ \ .ad b .RT .ad r 5.3.4.1 Equations et quantification \ \ \ .ad b .RT .LP .bp .sp 2P .LP \s8Page \s9 .sp 1P .RT .ad r 5.3.5 Sp\*'ecification alg\*`ebrique et s\*'emantique (signification) \ \ \ .ad b .RT .ad r 5.3.6 Repr\*'esentation de valeurs \ \ \ .ad b .RT .ad r 5.4 Utilisation passive des donn\*'ees LDS \ \ \ .ad b .RT .ad r 5.4.1 Constructions des d\*'efinitions de donn\*'ees \*'etendues \ \ \ .ad b .RT .ad r 5.4.1.1 Op\*'erateur sp\*'eciaux \ \ \ .ad b .RT .ad r 5.4.1.2 Litt\*'eraux de cha\* | ne de caract\*`eres \ \ \ .ad b .RT .ad r 5.4.1.3 Donn\*'ees pr\*'ed\*'efinies \ \ \ .ad b .RT .ad r 5.4.1.4 Egalit\*'e \ \ \ .ad b .RT .ad r 5.4.1.5 Axiomes bool\*'eens \ \ \ .ad b .RT .ad r 5.4.1.6 Termes condicionnelles \ \ \ .ad b .RT .ad r 5.4.1.7 Erreurs \ \ \ .ad b .RT .ad r 5.4.1.8 Relations d'ordre \ \ \ .ad b .RT .ad r 5.4.1.9 Syntypes \ \ \ .ad b .RT .ad r 5.4.1.9.1 Condition d'intervalle \ \ \ .ad b .RT .ad r 5.4.1.10 Sorte <> \ \ \ .ad b .RT .ad r 5.4.1.11 H\*'eritage \ \ \ .ad b .RT .ad r 5.4.1.12 G\*'en\*'erateurs \ \ \ .ad b .RT .ad r 5.4.1.12.1 D\*'efinition de g\*'en\*'erateur \ \ \ .ad b .RT .ad r 5.4.1.12.2 Instaciation de g\*'en\*'erateur \ \ \ .ad b .RT .ad r 5.4.1.13 Synonymes \ \ \ .ad b .RT .ad r 5.4.1.14 Litt\*'eraux de classe de noms \ \ \ .ad b .RT .ad r 5.4.1.15 Mise en correspondance de litt\*'eraux \ \ \ .ad b .RT .ad r 5.4.2 Utilisation des donn\*'ees \ \ \ .ad b .RT .ad r 5.4.2.1 Expression \ \ \ .ad b .RT .ad r 5.4.2.2 Expressions closes \ \ \ .ad b .RT .ad r 5.4.2.3 Synonymo \ \ \ .ad b .RT .ad r 5.4.2.4 Primaire d'index \ \ \ .ad b .RT .ad r 5.4.2.5 Primaire de champ \ \ \ .ad b .RT .ad r 5.4.2.6 Primaire de structure \ \ \ .ad b .RT .ad r 5.4.2.7 Expression close conditionnelle \ \ \ .ad b .RT .ad r 5.5 Utilisation des donn\*'ees avec des variables \ \ \ .ad b .RT .ad r 5.5.1 D\*'efinitions de variables et de donn\*'ees \ \ \ .ad b .RT .ad r 5.5.2 Acc\*`es aux variables \ \ \ .ad b .RT .ad r 5.5.2.1 Expressions actives \ \ \ .ad b .RT .ad r 5.5.2.2 Acc\*`es aux variable \ \ \ .ad b .RT .ad r 5.5.2.3 Expression conditionnelle \ \ \ .ad b .RT .ad r 5.5.2.4 Application d'operateur \ \ \ .ad b .RT .ad r 5.5.3 Enonc\*'e d'affectation \ \ \ .ad b .RT .ad r 5.5.3.1 Variable index\*'ee \ \ \ .ad b .RT .ad r 5.5.3.2 Variable de champ \ \ \ .ad b .RT .ad r 5.5.3.3 Affectation par d\*'efaut \ \ \ .ad b .RT .ad r 5.5.4 Op\*'erateurs imp\*'eratifs \ \ \ .ad b .RT .ad r 5.5.4.1 NOW \ \ \ .ad b .RT .ad r 5.5.4.2 Expression d'IMPORT \ \ \ .ad b .RT .ad r 5.5.4.3 Expression PId \ \ \ .ad b .RT .LP .bp .ad r \s8Page \s9 5.5.4.4 Expression de visibilit\*'e \ \ \ .sp 1P .RT .ad b .RT .ad r 5.5.4.5 Expression de temporistion active \ \ \ .ad b .RT .ad r 5.6 Donn\*'ees pr\*'ed\*'efinies \ \ \ .ad b .RT .ad r 5.6.1 Sorte <> \ \ \ .ad b .RT .ad r 5.6.1.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.1.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.2 Sorte <> \ \ \ .ad b .RT .ad r 5.6.2.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.2.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.3 G\*'en\*'erateur de cha\* | ne \ \ \ .ad b .RT .ad r 5.6.3.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.3.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.4 Sorte <> \ \ \ .ad b .RT .ad r 5.6.4.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.4.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.5 Sorte <> \ \ \ .ad b .RT .ad r 5.6.5.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.5.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.6 Syntype <> \ \ \ .ad b .RT .ad r 5.6.6.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.6.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.7 Sorte <> \ \ \ .ad b .RT .ad r 5.6.7.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.7.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.8 G\*'en\*'erateur de tableau \ \ \ .ad b .RT .ad r 5.6.8.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.8.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.9 G\*'en\*'erateur d'ensemble \ \ \ .ad b .RT .ad r 5.6.9.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.9.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.10 Sorte <> \ \ \ .ad b .RT .ad r 5.6.10.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.10.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.11 Sorte <> \ \ \ .ad b .RT .ad r 5.6.11.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.11.2 Utilisation \ \ \ .ad b .RT .ad r 5.6.12 Sorte <> \ \ \ .ad b .RT .ad r 5.6.12.1 D\*'efinition \ \ \ .ad b .RT .ad r 5.6.12.2 Utilisation \ \ \ .ad b .RT .sp 1P .ce 1000 .sp 1P .RT .ce 0 .sp 1P .ce 1000 .sp 1 REMARQUE\ PRELIMINAIRE .ce 0 .sp 1P .PP La pr\*'esente Recommandation remplace les Recommandations\ Z.100 \*`a\ Z.104 et la Recommandation\ X.250 du Livre Rouge ddu CCITT. .RT .LP .bp