TABLE� DES� MATI�RES

�1���� Contexte
�2���� D�finitions
�3���� Avantage de l'utilisation du langage SDL avec la notation ASN.1 et avec les diagrammes MSC
������� 3.1���� Compr�hension d'une sp�cification en SDL
������� 3.2���� Domaine d'application du langage SDL+
������� 3.3���� Relation avec la mise en �uvre
PARTIE� I� �� M�THODOLOGIE� G�N�RALE
�4���� Aper�u g�n�ral des activit�s et description de la m�thodologie
������� 4.1���� Partie Collecte de la saisie des prescriptions
������� 4.2���� Analyse, Conception du projet et Formalisation
������� 4.3���� Validation et Essais
������� 4.4���� Documentation
������� 4.5���� Parall�lisme des activit�s
�5���� Analyse d'activit�
������� 5.1���� D�but de l'Analyse
������� 5.2���� Questions pos�es en cours d'Analyse
������� 5.3���� M�thode de mod�lisation pour l'Analyse
������� 5.4���� Etapes de l'Analyse
������� 5.5���� Conclusion de l'Analyse
�6���� Conception du projet
������� 6.1���� D�but de la Conception du projet
������� 6.2���� Etapes de la Conception du projet
������� 6.3���� Conclusion de la Conception du projet
�7���� Formalisation
������� 7.1���� D�but de la Formalisation
������� 7.2���� Etapes de la Formalisation
������� 7.3���� Conclusion de la Formalisation
�8���� Mise en �uvre
�9���� Validation
������� 9.1���� Caract�ristiques d'un mod�le de validation
������� 9.2���� Comparaison du mod�le de validation avec le mod�le formalis�
������� 9.3���� Probl�mes de d�finition de la validation d'une sp�cification
10���� Relation avec d'autres m�thodes et mod�les
������ 10.1���� Relation avec la m�thode (d'�tape 3) des Recommandations I.130/Q.65
������ 10.2���� Relation avec la mod�lisation en couches OSI
������ 10.3���� Relation avec l'architecture de la s�rie de Recommandations Q.1200 (RI) et avec les modules SIB
������ 10.4���� Relation avec les op�rations distantes (op�rations RO, remote operations et �l�ments ROSE) de la Recommandation X.219
������ 10.5���� Relation avec la Recommandation X.722 (objets GDMO)
11���� Justification de l'approche
PARTIE� II� �� �LABORATION� DE� LA� M�THODOLOGIE� G�N�RALE
12���� Elaboration de la m�thodologie pour la sp�cification d'un service
������ 12.1���� M�thodologie en trois �tapes: �tape 2 (Recommandation Q.65)
13���� Etapes d'Analyse
������ 13.1���� Etape d'inspection
������ 13.2���� Etape de classification pour la mod�lisation par objets
������ 13.3���� Etape de classification pour la mod�lisation par s�quences d'utilisation
14���� Etapes de conception de projet
������ 14.1���� Mod�lisation d'une relation entre composants
��� ���14.2���� Mod�lisation des flux de donn�es et de commande
������ 14.3���� Mod�lisation de la structure des informations
������ 14.4���� Mod�lisation par s�quences d'utilisation
������ 14.5���� Mod�lisation du comportement d'un processus
������ 14.6���� Mod�lisation d'aper�u g�n�ral d'�tats
15���� Etapes de Formalisation
������ 15.1���� Etapes relatives � la structure (�tapes S, S-steps)
������ 15.2���� Etapes relatives au comportement (�tapes B, B-steps)
������ 15.3���� Etapes relatives aux donn�es (�tapes D)
������ 15.4���� Etapes relatives au type (�tapes T, T-steps)
������ 15.5���� Etapes de localisation (�tapes L, L-steps)
16���� R�f�rences