ÍNDICE
1 Ámbito
1.1 Objetivos
1.2 Aplicaciones
1.3 Especificación de sistema
1.4 Diferencias entre SDL-88 y SDL-92
1.5 Diferencias entre SDL-92 y SDL-2000
2
Referencias
3
Definiciones
4
Abreviaturas
5
Convenios
5.1 Gramáticas SDL
5.2 Definiciones básicas
5.3 Estilo de presentación
5.4 Metalenguajes
6 Reglas generales
6.1 Reglas léxicas
6.2 Macros
6.3 Reglas de visibilidad, nombres e identificadores
6.4 Texto informal
6.5 Reglas de dibujo
6.6 Partición de dibujos
6.7 Comentario
6.8 Ampliación de texto
6.9 Símbolo de texto
7 Organización de
las especificaciones SDL
7.1 Marco
7.2 Lote
7.3 Definición referenciada
8 Conceptos
estructurales
8.1 Tipos, ejemplares y puertas
8.2 Parámetros de contexto
8.3 Especialización
8.4 Referencias de tipo
8.5 Asociaciones
9 Agentes
9.1 Sistema
9.2 Bloque
9.3 Proceso
9.4 Referencia de agente y de estado compuesto
9.5 Procedimiento
10 Comunicación
10.1 Canal
10.2 Conexión
10.3 Señal
10.4 Definición de lista de señales
10.5 Procedimientos remotos
10.6 Variables remotas
11 Comportamiento
11.1 Arranque
11.2 Estado
11.3 Entrada
11.4 Entrada prioritaria
11.5 Señal continua
11.6 Condición habilitadora
11.7 Conservación (save)
11.8 Transición implícita
11.9 Transición espontánea
11.10 Etiqueta
11.11 Máquina de estados y estado compuesto
11.12 Transición
11.13 Acción
11.14 Lista de enunciados
11.15 Temporizador
11.16 Excepción
12
Datos
12.1 Definiciones de datos
12.2 Utilización pasiva de los datos
12.3 Utilización activa de datos
13 Definición de sistema genérica
13.1 Definición facultativa
13.2 Cadena de transición facultativa
Anexo A – Índice de no terminales
Anexo B – Reservado para uso
futuro
Anexo C – Reservado para uso futuro
Anexo D – Datos predefinidos en SDL
D.1 Introducción
D.2 Notación
D.3 Lote predefinido
Anexo E – Reservado para
ejemplos
Anexo F – Contiene la definición formal (Publicado separadamente)
Apéndice I – Estado de la Recomendación Z.100, documentos y Recomendaciones
conexos
Apéndice II – Directrices para el mantenimiento del SDL
II.1 Mantenimiento de SDL
Apéndice III – Conversión sistemática de SDL-92 en SDL-2000