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