�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.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