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.2.1 Definición, tipo y ejemplar
5.2.2 Entorno
5.2.3 Errores
5.3 Estilo de presentación
5.3.1 División del texto
5.3.2 Ítems de enumeración titulados
5.4 Metalenguajes
5.4.1 Meta IV
5.4.2 BNF
5.4.3 Metalenguaje para gramática gráfica
6
Reglas generales
6.1 Reglas léxicas
6.2 Macros
6.2.1 Reglas léxicas adicionales
6.2.2 Definición de macro
6.2.3 Llamada a macro
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.1.1 Definiciones de tipo estructural
8.1.2 Expresión de tipo
8.1.3 Definiciones basadas en tipos
8.1.4 Tipo abstracto
8.1.5 Referencias de tipo
8.1.6 Puerta
8.2 Parámetros de contexto
8.2.1 Parámetros de contexto de tipo de agente
8.2.2 Parámetros de contexto de agente
8.2.3 Parámetros de contexto de procedimiento
8.2.4 Parámetro de contexto de procedimiento remoto
8.2.5 Parámetros de contexto de señal
8.2.6 Parámetros de contexto de variable
8.2.7 Parámetros de contexto de variable remota
8.2.8
Parámetros de contexto de temporizador
8.2.9 Parámetros de contexto de sinónimo
8.2.10 Parámetros de contexto de género
8.2.11 Parámetros de contexto de excepción
8.2.12 Parámetros de contexto de tipo de estado
compuesto
8.2.13 Parámetros de contexto de puerta
8.2.14 Parámetro de contexto de interfaz
8.3 Especialización
8.3.1 Adición de propiedades
8.3.2 Tipo virtual
8.3.3 Transición/conservación virtual
8.3.4 Métodos virtuales
8.3.5 Inicialización por defecto virtual
8.4 Asociaciones
9
Agentes
9.1 Sistema
9.2 Bloque
9.3 Proceso
9.4 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.2.1 Estado básico
11.2.2 Aplicación de estado compuesto
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.11.1 Gráfico de estado compuesto
11.11.2 Agregación de estado
11.11.3 Punto de conexión de estado
11.11.4 Connect
11.12 Transición
11.12.1 Cuerpo de transición
11.12.2 Terminador de transición
11.13 Acción
11.13.1 Tarea
11.13.2 Creación
11.13.3 Llamada a procedimiento
11.13.4 Salida
11.13.5 Decisión
11.14 Lista de enunciados
11.14.1 Enunciado compuesto
11.14.2 Acciones de transición y terminadores
utilizados como enunciados
11.14.3
Expresiones como enunciados
11.14.4 Enunciado If
11.14.5 Enunciado de decisión
11.14.6 Enunciado de bucle
11.14.7 Enunciados ruptura y etiquetado
11.14.8 Enunciado vacío
11.14.9 Enunciado excepción
11.15 Temporizador
11.16 Excepción
11.16.1 Manejador de excepciones
11.16.2 Excepción activa (On-Exception)
11.16.3 Manejo (handle)
12 Datos
12.1 Definiciones de datos
12.1.1 Definición de tipos de datos
12.1.2 Definición de interfaces
12.1.3 Especialización de tipos de datos
12.1.4 Operaciones
12.1.5 Any
12.1.6 pid y géneros de pid
12.1.7 Constructivos de tipo de datos
12.1.8 Comportamiento de las operaciones
12.1.9 Constructivos adicionales de
definición de datos
12.2 Utilización pasiva de los datos
12.2.1 Expresiones
12.2.2 Literal
12.2.3 Sinónimo
12.2.4 Primario ampliado
12.2.5 Expresión de igualdad
12.2.6 Expresión condicional
12.2.7 Aplicación de operación
12.2.8 Expresión de verificación de intervalo
12.3 Utilización activa de datos
12.3.1 Definición de variable
12.3.2 Acceso a variable
12.3.3 Asignación e intento de asignación
12.3.4 Expresiones imperativas
12.3.5 Llamada a procedimiento de
devolución de valor
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 SDL
D.1 Introducción
D.2 Notación
D.2.1 Axiomas
D.2.2 Ecuaciones condicionales
D.2.3 Igualdad
D.2.4
Axiomas booleanos
D.2.5 Término condicional
D.2.6 Término de error
D.2.7 Literales no ordenados
D.2.8 Ecuaciones de literales
D.3 Lote predefinido
D.3.1 Género booleano (Boolean sort)
D.3.2 Género carácter (Character sort)
D.3.3 Género cadena (String sort)
D.3.4 Género cadena de caracteres (Charstring
sort)
D.3.5 Género entero (Integer sort)
D.3.6 Sintipo natural (natural syntype)
D.3.7 Género real (Real sort)
D.3.8 Género array (array sort)
D.3.9 Vector
D.3.10 Género conjuntista (Powerset sort)
D.3.11 Género duración (Duration sort)
D.3.12 Género tiempo (Time sort)
D.3.13 Género bolsa (Bag sort)
D.3.14
Géneros bit (Bit) y cadena de bits (Bitstring) de la notación ASN.1
D.3.15 Géneros octeto (Octet) y cadena de
octetos (Octetstring) de la notación ASN.1
D.3.16 Excepciones predefinidas (Predefined
exceptions)
Anexo E -
Reservado para ejemplos
Anexo F - Definición formal
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
II.1.1
Terminología
II.1.2 Reglas de mantenimiento
II.1.3 Procedimiento de petición de cambio
Apéndice III -
Conversión sistemática de SDL-92 en SDL-2000