Recommandation Z.100

delim @@

| 5i'

FASCICULE X.1

Recommandation Z.100 et annexes A, B, C y E

Recommandation Z.110

LANGAGE DE SPE´ CIFICATION ET DE

DESCRIPTION FONCTIONNELLES (LDS)




DE DESCRIPTION FORMELLES (TDF)

BLANC

Montage page 2 = page blanche 2 ^

1

1.1

1.1.1

2.2.1.1

2.1.1.1.1

MEP [PA1] : OK= [1]

Fascicule X.1 -- Rec. Z.100 3

Recommandation Z.100

LANGAGE DE DESCRIPTION ET DE SPE´ CIFICATION (LDS)

SOMMAIRE

Page

1

Introduction au LDS

1.1
1.1.1
1.1.2

Introduction
Objectifs
Applications


1.2
1.3
1.3.1

Grammaire du LDS
Definitions´ de base
Type, definition´ et instance

instance

1.3.2
1.3.3 1.4
1.4.1
1.4.2 1.5
1.5.1
1.5.2
1.5.3

Environnment
Erreurs
Style de presentation´
Division du texte
Intitules´
Metalangages´
Meta´ IV
BNF
Metalangage´ pour la

la grammaire graphique

2 LDS de base

2.1

Introduction


2.2.3 Texte informel



4

2.2.5
2.2.6
2.2.7
2.2.8
2.3 Concept
2.3.1
2.3.2
2.3.3
2.3.4

Fascicule

Subdivision des diagrammes
Commentaire
Extension de texte
Symbole de texte
Concept de base concernant les donnees´
Definitions´ de type de donnees´
Variable
Valeurs et litteraux´
Expressions

X.1 -- Rec. Z.100


2.4.1 Definitions´ differ´ ees´



2.4.3 Bloc
2.4.4 Processus
2.4.5 Procedure´
2.5 Communication
2.5.1 Canal
2.5.2 Acheminement de signal
2.5.3 Connexion
2.5.4 Signal
2.5.5 Definition´ de listes de signaux
2.6 Comportement
2.6.1 Variables
2.6.1.1 Definition´ de variable
2.6.1.2 Definition´ de visibilite´
2.6.2 Depart´
2.6.3 Etat
2.6.4 Entree´
2.6.5 Mise en reserve´
2.6.6 Etiquette
2.6.7 Transition
2.6.7.1 Corps de transition
2.6.7.2 Terminateur de transition
2.6.7.2.1 Etat suivant
2.6.7.2.2 Branchement
2.6.7.2.3 Arr| t
2.6.7.2.4 Retour
2.7 Action
2.7.1 T| che
2.7.2 Creation´
2.7.3 Appel de procedure´
2.7.4 Sortie
2.7.5 Decision´
2.8 Temporisateur
2.9 Exemples

3

Concepts structurels dans le LDS

3.1
3.2
3.2.1

Introduction
Subdivision
Considerations´

gen´ erales´

3.2.2 Subdivision de bloc
3.2.3 Subdivision de canal
3.3 Affinage

Fascicule X.1 -- Rec. Z.100 5

Page 4 Concepts supplementaires´ dans le LDS

4.1 Introduction
4.2 Macro



4.2.2 Definition´ de macro
4.2.3 Appel de macro



4.3.1
4.3.2
4.3.3
4.3.4
4.4
4.5
4.6
4.7
4.8
4.9
4.10
4.10.1
4.10.2 4.11
4.12
4.13

Synonyme externe
Expression simple
Definitiones´ optionnelles
Cha| nes de transition optionnelles
Etat asterisque´
Apparition multiple d'etat´
Entree´ asterisque´
Mise en reserve´ asterisque´
Transition implicite
Etat suivant pointille´
Service
Decomposition´ de service
Definition´ de service
Signal continu
Condition de validation
Valeur importee´ et exportee´

5 Donnees´ dans le LDS

5.1
5.1.1
5.1.2

Introduction
Abstraction dans les types de donnees´
Apercu¸ des formalismes utilises´ pour mod

modeliser´ les donnees´

5.1.3
5.1.4 5.2
5.2.1
5.2.2
5.2.3
5.2.4

Terminologie
Division du texte sur les donnees´
Le noyau de langage des donnees´
Definitions´ des types de donnees´
Litteraux´ et operateurs´ parametris´ es´
Axiomes
Equations conditionnelles


5.3.1
5.3.1.1 5.3.2
5.3.3
5.3.3.1

Introduction
Representations´
Signatures
Termes et expressions
Gen´ eration´ de termes


5.3.4.1 Equations et quantification

6 Fascicule X.1 -- Rec. Z.100

Page

5.3.5

Specification´

algebrique et semantique´

(signification)


5.3.6
5.4

Representation´ de valeurs
Utilisation passive des donnees´

LDS

5.4.1
5.4.1.1

Constructions des definitions´
Operateur´ speciaux´

de donnees´

etendues´


5.4.1.3 Donnees´ pred´ efinies´

5.4.1.4 Egalite´
5.4.1.5 Axiomes booleens´
5.4.1.6 Termes condicionnelles
5.4.1.7 Erreurs
5.4.1.8 Relations d'ordre
5.4.1.9 Syntypes
5.4.1.9.1 Condition d'intervalle
5.4.1.10 Sorte <<structure>>
5.4.1.11 Heritage´
5.4.1.12 Gen´ erateurs´
5.4.1.12.1 Definition´ de gen´ erateur´
5.4.1.12.2 Instaciation de gen´ erateur´
5.4.1.13 Synonymes
5.4.1.14 Litteraux´ de classe de noms
5.4.1.15 Mise en correspondance de litteraux´
5.4.2 Utilisation des donnees´
5.4.2.1 Expression
5.4.2.2 Expressions closes
5.4.2.3 Synonymo
5.4.2.4 Primaire d'index
5.4.2.5 Primaire de champ
5.4.2.6 Primaire de structure
5.4.2.7 Expression close conditionnelle
5.5 Utilisation des donnees´ avec des variables
5.5.1 Definitions´ de variables et de donnees´


5.5.2.1 Expressions actives



5.5.2.3
5.5.2.4 5.5.3
5.5.3.1
5.5.3.2
5.5.3.3 5.5.4
5.5.4.1
5.5.4.2
5.5.4.3

Expression conditionnelle
Application d'operateur
Enonce´ d'affectation
Variable indexee´
Variable de champ
Affectation par defaut´
Operateurs´ imperatifs´
NOW
Expression d'IMPORT
Expression PId

Fascicule X.1 -- Rec. Z.100 7

5.5.4.5 5.6
5.6.1
5.6.1.1
5.6.1.2

Expression de temporistion active
Donnees´ pred´ efinies´
Sorte <<booleen>>´
Definition´
Utilisation

Page

5.5.4.4

Expression de visibilite´


5.6.2.1
5.6.2.2 5.6.3

Definition´
Utilisation Gen´ erateur´

de cha| ne

5.6.3.1
5.6.3.2

Definition´
Utilisation


5.6.4.1
5.6.4.2
5.6.5
5.6.5.1
5.6.5.2
5.6.6
5.6.6.1
5.6.6.2
5.6.7
5.6.7.1
5.6.7.2
5.6.8
5.6.8.1
5.6.8.2
5.6.9
5.6.9.1
5.6.9.2
5.6.10
5.6.10.1
5.6.10.2 5.6.11
5.6.11.1
5.6.11.2 5.6.12
5.6.12.1
5.6.12.2

Definition´
Utilisation
Sorte <<entier>>
Definition´
Utilisation
Syntype <<naturel>>
Definition´
Utilisation
Sorte <<reel>>´
Definition´
Utilisation
Gen´ erateur´ de tableau
Definition´
Utilisation
Gen´ erateur´ d'ensemble
Definition´
Utilisation
Sorte <<PId>>
Definition´
Utilisation
Sorte <<duree>>´
Definition´
Utilisation
Sorte <<temps>>
Definition´
Utilisation

REMARQUE PRELIMINAIRE




Livre Rouge ddu CCITT.

8 Fascicule X.1 -- Rec. Z.100

Fascicule X.1 -- Rec. Z.100 9