Rec CCITT Z.100 (11/1988) – LANGAGE DE DESCRIPTION ET DE SPÉCIFICATION (LDS)
SOMMAIRE
1 Introduction au LDS
1.1 Introduction
1.2 Grammaires du LDS
1.3 Définitions fondamentales
1.4 Présentation
1.5 Métalangages
2 Le LDS de base
2.1 Introduction
2.2 Règles générales
2.3 Concepts de base concernant les données
2.4 Structure du système
2.5 Communication
2.6Comportement
2.7 Action
2.8 Temporisateur
2.9 Exemples
3 Concepts structurels dans le LDS
3.1 Introduction
3.2 Subdivision
3.3 Affinage
4 Autres concepts dans le LDS
4.1 Intoduction
4.2 Macro
4.3 Systèmes génériques
4.4 Etat astérisque
4.5 Apparition multiple d'état
4.6 Entrée astérisque
4.7 Mise en réserve astérisque
4.8 Transition implicite
4.9 Etat suivant pointillé
4.10 Service
4.11 Signal continu
4.12 Condition de validation
4.13 Valeur importée et valeur exportée
5 Données dans le LDS
5.1 Introduction
5.2 Le langage
5.3 Modèle d'algèbre initiale (description informelle)
5.4 Utilisation passive des données du LDS
5.5 Utilisation de données comportant des variables
5.6 Données prédéfinies
APPENDICE I – Modèle formel applicable aux types de données non paramétrées
I.1 Algèbres multisorte
I.2 Sémantiques des définitions de type de données
I.3 Systèmes de dérivation
I.4 Sémantique des spécifications algébriques