5i' FASCICULE X.1 Recommandation Z.100 et annexes A, B, C y E Recommandation Z.110 LANGAGE DE SP'CIFICATION ET DE DESCRIPTION FONCTIONNELLES (LDS) CRIT`RES D'UTILISATION DES TECHNIQUES DE DESCRIPTION FORMELLES (TDF) BLANC Montage page 2 = page blanche 1 1.1 1.1.1 2.2.1.1 2.1.1.1.1 MEP [PA1] : OK= [1] Recommandation Z.100 LANGAGE DE DESCRIPTION ET DE SP'CIFICATION (LDS) SOMMAIRE Page 1 Introduction au LDS 1.1 Introduction 1.1.1 Objectifs 1.1.2 Applications 1.1.3 Specification d'un systeme 1.2 Grammaire du LDS 1.3 Definitions de base 1.3.1 Type, definition et instance 1.3.2 Environnment 1.3.3 Erreurs 1.4 Style de presentation 1.4.1 Division du texte 1.4.2 Intitules 1.5 Metalangages 1.5.1 Meta IV 1.5.2 BNF 1.5.3 Metalangage pour la grammaire graphique 2 LDS de base 2.1 Introduction 2.2 Regles generales 2.2.1 Regles lexicales 2.2.2 Regles de visibilite et identificateurs 2.2.3 Texte informel 2.2.4 Reglas applicables aux dessins 2.2.5 Subdivision des diagrammes 2.2.6 Commentaire 2.2.7 Extension de texte 2.2.8 Symbole de texte 2.3 Concept de base concernant les donnees 2.3.1 Definitions de type de donnees 2.3.2 Variable 2.3.3 Valeurs et litteraux 2.3.4 Expressions Page 2.4 Structure du systeme 2.4.1 Definitions differees 2.4.2 Systeme 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 Introduction 3.2 Subdivision 3.2.1 Considerations generales 3.2.2 Subdivision de bloc 3.2.3 Subdivision de canal 3.3 Affinage Page 4 Concepts supplementaires dans le LDS 4.1 Introduction 4.2 Macro 4.2.1 Regles lexicales 4.2.2 Definition de macro 4.2.3 Appel de macro 4.3 Systemes generiques 4.3.1 Synonyme externe 4.3.2 Expression simple 4.3.3 Definitiones optionnelles 4.3.4 Cha | nes de transition optionnelles 4.4 Etat asterisque 4.5 Apparition multiple d'etat 4.6 Entree asterisque 4.7 Mise en reserve asterisque 4.8 Transition implicite 4.9 Etat suivant pointille 4.10 Service 4.10.1 Decomposition de service 4.10.2 Definition de service 4.11 Signal continu 4.12 Condition de validation 4.13 Valeur importee et exportee 5 Donnees dans le LDS 5.1 Introduction 5.1.1 Abstraction dans les types de donnees 5.1.2 Apercu des formalismes utilises pour modeliser les donnees 5.1.3 Terminologie 5.1.4 Division du texte sur les donnees 5.2 Le noyau de langage des donnees 5.2.1 Definitions des types de donnees 5.2.2 Litteraux et operateurs parametrises 5.2.3 Axiomes 5.2.4 Equations conditionnelles 5.3 Modele d'algebre initiale (description infor- melle) 5.3.1 Introduction 5.3.1.1 Representations 5.3.2 Signatures 5.3.3 Termes et expressions 5.3.3.1 Generation de termes 5.3.4 Valeurs et algebres 5.3.4.1 Equations et quantification Page 5.3.5 Specification algebrique et semantique (sig- nification) 5.3.6 Representation de valeurs 5.4 Utilisation passive des donnees LDS 5.4.1 Constructions des definitions de donnees etendues 5.4.1.1 Operateur speciaux 5.4.1.2 Litteraux de cha | ne de caracteres 5.4.1.3 Donnees predefinies 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 <> 5.4.1.11 Heritage 5.4.1.12 Generateurs 5.4.1.12.1 Definition de generateur 5.4.1.12.2 Instaciation de generateur 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 Acces aux variables 5.5.2.1 Expressions actives 5.5.2.2 Acces aux variable 5.5.2.3 Expression conditionnelle 5.5.2.4 Application d'operateur 5.5.3 Enonce d'affectation 5.5.3.1 Variable indexee 5.5.3.2 Variable de champ 5.5.3.3 Affectation par defaut 5.5.4 Operateurs imperatifs 5.5.4.1 NOW 5.5.4.2 Expression d'IMPORT 5.5.4.3 Expression PId Page 5.5.4.4 Expression de visibilite 5.5.4.5 Expression de temporistion active 5.6 Donnees predefinies 5.6.1 Sorte <> 5.6.1.1 Definition 5.6.1.2 Utilisation 5.6.2 Sorte <> 5.6.2.1 Definition 5.6.2.2 Utilisation 5.6.3 Generateur de cha | ne 5.6.3.1 Definition 5.6.3.2 Utilisation 5.6.4 Sorte <> 5.6.4.1 Definition 5.6.4.2 Utilisation 5.6.5 Sorte <> 5.6.5.1 Definition 5.6.5.2 Utilisation 5.6.6 Syntype <> 5.6.6.1 Definition 5.6.6.2 Utilisation 5.6.7 Sorte <> 5.6.7.1 Definition 5.6.7.2 Utilisation 5.6.8 Generateur de tableau 5.6.8.1 Definition 5.6.8.2 Utilisation 5.6.9 Generateur d'ensemble 5.6.9.1 Definition 5.6.9.2 Utilisation 5.6.10 Sorte <> 5.6.10.1 Definition 5.6.10.2 Utilisation 5.6.11 Sorte <> 5.6.11.1 Definition 5.6.11.2 Utilisation 5.6.12 Sorte <> 5.6.12.1 Definition 5.6.12.2 Utilisation REMARQUE PRELIMINAIRE La presente Recommandation remplace les Recommandations Z.100 a Z.104 et la Recommandation X.250 du Livre Rouge ddu CCITT.