• 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