�1����
Domaine d'application
������� 1.1���� Objectifs
������� 1.2���� Application
������� 1.3���� Sp�cification d'un syst�me
������� 1.4���� Diff�rences entre le SDL 88 et le SDL 92
������� 1.5���� Diff�rences entre le SDL 92 et le SDL 2000
�2����
R�f�rences normatives
�3����
D�finitions
�4����
Abr�viations
�5����
Conventions
������� 5.1���� Grammaires de SDL
������� 5.2���� D�finitions fondamentales
����������������� 5.2.1���� D�finition, type et instance
����������������� 5.2.2���� Environnement
����������������� 5.2.3���� Erreur
������� 5.3���� Pr�sentation
����������������� 5.3.1���� Structuration du texte
����������������� 5.3.2���� Intitul�s
������� 5.4���� M�talangages
����������������� 5.4.1� ���M�ta IV
����������������� 5.4.2���� BNF
����������������� 5.4.3���� M�talangage applicable � la grammaire
graphique
�6����
R�gles g�n�rales
������� 6.1���� R�gles lexicales
������� 6.2���� Macro
����������������� 6.2.1���� R�gles lexicales suppl�mentaires
����������������� 6.2.2���� D�finition de macro
����������������� 6.2.3���� Appel de macro
������� 6.3���� R�gles de visibilit�, noms et identificateurs
������� 6.4���� Texte informel
������� 6.5���� R�gles applicables aux dessins
������� 6.6���� Subdivision des dessins
������� 6.7���� Commentaire
������� 6.8���� Extension de texte
������� 6.9���� Symbole de texte
�7����
Organisation des sp�cifications SDL
������� 7.1���� Cadre d'application
������� 7.2���� Paquetage
������� 7.3���� D�finition r�f�renc�e
�8����
Concepts structurels
������� 8.1���� Types, instances et acc�s
����������������� 8.1.1���� D�finitions de types structurels
����������������� 8.1.2���� Expression de type
����������������� 8.1.3���� D�finitions fond�es sur les types
�������������� ���8.1.4����
Type abstrait
����������������� 8.1.5���� R�f�rences de type
����������������� 8.1.6���� Acc�s
������� 8.2���� Param�tres de contexte
����������������� 8.2.1���� Param�tre de contexte de type d'agent
����������������� 8.2.2���� Param�tre de contexte d'agent
����������������� 8.2.3���� Param�tre de contexte de proc�dure
����������������� 8.2.4���� Param�tre de contexte de proc�dure
distante
����������������� 8.2.5���� Param�tre de contexte de signal
����������������� 8.2.6���� Param�tre de contexte de variable
����������������� 8.2.7���� Param�tre de contexte de variable
distante
����������������� 8.2.8���� Param�tre de contexte de temporisateur
����������������� 8.2.9���� Param�tre de contexte de synonyme
���������������� 8.2.10���� Param�tre de contexte de sorte
���������������� 8.2.11���� Param�tre de contexte d'exception
���������������� 8.2.12���� Param�tre de contexte de type d'�tat
composite
���������������� 8.2.13���� Param�tre de contexte d'acc�s
���������������� 8.2.14���� Param�tre de contexte d'interface
������� 8.3���� Sp�cialisation
����������������� 8.3.1���� Adjonction de propri�t�s
����������������� 8.3.2���� Type virtuel
����������������� 8.3.3���� Transition/sauvegarde virtuelle
����������������� 8.3.4���� M�thodes virtuelles
�� ���������������8.3.5����
Initialisation virtuelle par d�faut
������� 8.4���� Associations
�9����
Agents
������� 9.1���� Syst�me
������� 9.2���� Bloc
������� 9.3���� Processus
������� 9.4���� Proc�dure
10���� Communication
������ 10.1���� Canal
������ 10.2 ����Connexion
������ 10.3���� Signal
������ 10.4���� D�finition de liste de signaux
������ 10.5���� Proc�dures distantes
������ 10.6���� Variables distantes
11���� Comportement
������ 11.1���� D�part
������ 11.2���� Etat
���������������� 11.2.1���� Etat de base
���������������� 11.2.2���� Application d'�tat composite
������ 11.3���� Entr�e
������ 11.4���� Entr�e prioritaire
������ 11.5���� Signal continu
������ 11.6���� Condition de validation
������ 11.7���� Sauvegarde
������ 11.8���� Transition implicite
������ 11.9���� Transition spontan�e
����� 11.10���� Etiquette
����� 11.11���� Machine � �tats et �tat composite
��������������� 11.11.1���� Graphe d'�tat composite
��������������� 11.11.2���� Agr�gat d'�tat
��������������� 11.11.3���� Point de connexion d'�tat
��������������� 11.11.4���� Connexion
����� 11.12���� Transition
��������������� 11.12.1���� Corps de transition
��������������� 11.12.2���� Terminateur de transition
����� 11.13���� Action
��������������� 11.13.1���� T�che
��������������� 11.13.2�� ��Cr�ation
��������������� 11.13.3���� Appel de proc�dure
��������������� 11.13.4���� Sortie
��������������� 11.13.5���� D�cision
����� 11.14���� Liste d'instructions
��������������� 11.14.1���� Instruction compos�e
��������������� 11.14.2���� Actions et terminateurs de transition en
tant qu'instructions
��������������� 11.14.3���� Expressions en tant qu'instructions
��������������� 11.14.4���� Instruction Si
��������������� 11.14.5���� Instruction de d�cision
��������������� 11.14.6���� Instruction de boucle
��������������� 11.14.7���� Instructions d'interruption et
instructions �tiquet�es
��������������� 11.14.8���� Instruction vide
��������������� 11.14.9���� Instruction d'exception
����� 11.15���� Temporisateur
����� 11.16���� Exception
��������������� 11.16.1���� Gestionnaire d'exception
��������������� 11.16.2���� On-Exception
��������������� 11.16.3���� Traitement
12���� Donn�es
������ 12.1���� D�finitions de donn�es
���������������� 12.1.1���� D�finition des types de donn�es
���������������� 12.1.2�� ��D�finition d'interface
���������������� 12.1.3���� Sp�cialisation des types de donn�es
���������������� 12.1.4���� Op�rations
���������������� 12.1.5���� Quelconque (Any)
���������������� 12.1.6���� Pid et sortes de pid
���������������� 12.1.7���� Constructeurs de type de donn�es
���������������� 12.1.8���� Comportement des op�rations
���������������� 12.1.9���� Constructions de d�finition de donn�es
suppl�mentaires
������ 12.2���� Utilisation passive des donn�es
���������������� 12.2.1���� Expressions
� ���������������12.2.2����
Litt�ral
���������������� 12.2.3���� Synonyme
���������������� 12.2.4���� Primaire �tendu
���������������� 12.2.5���� Expression d'�galit�
���������������� 12.2.6���� Expression conditionnelle
���������������� 12.2.7���� Application d'op�ration
���������������� 12.2.8���� Expression de v�rification d'intervalle
������ 12.3���� Utilisation active des donn�es
���������������� 12.3.1���� D�finition de variable
���������������� 12.3.2���� Acc�s de variable
���������������� 12.3.3���� Affectation et tentative d'affectation
���������������� 12.3.4���� Expressions imp�ratives
���������������� 12.3.5���� Appel de proc�dure renvoyant une valeur
13���� D�finition de syst�me g�n�rique
������ 13.1���� D�finition optionnelle
������ 13.2���� Cha�ne de transition optionnelle
Annexe A � Index des non-terminaux
Annexe B � R�serv�e pour une utilisation future
Annexe C � R�serv�e pour une utilisation future
Annexe D � Donn�es pr�d�finies du SDL
������� D.1���� Introduction
������� D.2���� Notation
��� ��������������D.2.1����
Axiomes
����������������� D.2.2���� Equations conditionnelles
����������������� D.2.3���� Egalit�
����������������� D.2.4���� Axiomes bool�ens
����������������� D.2.5���� Terme conditionnel
����������������� D.2.6���� Terme d'erreur
����������������� D.2.7���� Litt�raux non ordonn�s
����������������� D.2.8���� Equations de litt�ral
������� D.3���� Paquetage Pr�d�fini (Predefined)
����������������� D.3.1���� Sorte bool�enne (Boolean)
����������������� D.3.2���� Sorte de caract�re (Character)
����������������� D.3.3���� Sorte de cha�ne (String)
����������������� D.3.4���� Sorte Charstring
����������������� D.3.5���� Sorte Entier (Integer)
����������������� D.3.6���� Syntype Naturel (Natural)
����������������� D.3.7���� Sorte Real
����� ������������D.3.8���� Sorte
Tableau (Array)
����������������� D.3.9���� Vecteur
���������������� D.3.10���� Sorte Powerset
���������������� D.3.11���� Sort dur�e (Duration)
���������������� D.3.12���� Sorte temps (Time)
���������������� D.3.13���� Sorte Sac (Bag)
���������������� D.3.14���� Sortes Bit et Bitstring de l'ASN.1
���������������� D.3.15���� Sortes Octet et Octetstring de l'ASN.1
���������������� D.3.16���� Exceptions pr�d�finies
Annexe E � R�serv�e aux exemples
Annexe F � D�finition formelle
Appendice I � Etat de la Z.100, des documents et Recommandations associ�s
Appendice II � Directives concernant la maintenance du SDL
������ II.1���� Maintenance du SDL
���������������� II.1.1���� Terminologie
���������������� II.1.2���� R�gles de maintenance
���������������� II.1.3���� Proc�dure de demande de modification
Appendice III � Conversion syst�matique de SDL 92 en
SDL 2000