---

• Rec. CCITT Z.100 (11/1988) – LENGUAJE DE ESPECIFICACIÓN Y DESCRIPCIÓN (LED)
• ÍNDICE
• 1 Intoducción al LED
  • 1.1 Introducción
  • 1.2 GramáticasLED
  • 1.3 Definiciones básicas
  • 1.4 Estilo de presentación
  • 1.5 Metalenguajes
• 2 LED básico
  • 2.1 Introducción
  • 2.2 Reglas generales
  • 2.3 Conceptos básicos de datos
  • 2.4 Estructura de sistema
  • 2.5 Comunicación
  • 2.6 Comportamiento
  • 2.7 Acción
  • 2.8 Temporizador
  • 2.9 Ejemplos
• 3 Conceptos estructurales en LED
  • 3.1 Introducción
  • 3.2 Partición (o fraccionamiento)
  • 3.3 Refinamiento
• 4 Conceptos adicionales en LED
  • 4.1 Introducción
  • 4.2 Macro
  • 4.3 Sistemas genéricos
  • 4.4 Estado asterisco
  • 4.5 Múltiple aparición de estado
  • 4.6 Entrada asterisco
  • 4.7 Conservación asterico
  • 4.8 Transición implicita
  • 4.9 Estado siguiente indicado por guión
  • 4.10 Servicio
  • 4.11 Señal continua
  • 4.12 Condición habilitante
  • 4.13 Valor importado y exportado
• 5 Datos en LED
  • 5.1 Introducción
  • 5.2 El lenguaje núcleo de datos
  • 5.3 Modelo de álgebra inicial (descripción informal)
  • 5.4 Uso pasivo de datos LED
  • 5.5 Uso de datos con variables
  • 5.6 Datos predefinidos
• APÉNDICE I – Modelo formal de tipos de datos no parametrizados
  • I.1 Álgebras multigénero
  • I.2 Semántica de definiciones de tipos de datos
  • I.3 Sistemas de derivación
  • I.4 Semántica de especificaciones algebraicas