TABLE DES MATIÈRES
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 langage SDL 92 et le langage SDL 2000
2
Références normatives
3
Définitions
4
Abréviations
5
Conventions
5.1 Grammaires du langage SDL
5.2 Définitions fondamentales
5.3 Présentation
5.4 Métalangages
6
Règles générales
6.1 Règles lexicales
6.2 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.2 Paramètres de contexte
8.3 Spécialisation
8.4 Référence de type
8.5 Associations
9
Agents
9.1 Système
9.2 Bloc
9.3 Processus
9.4 Référence d'agent et d'état composite
9.5 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.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 Automate à états et état composite
11.12 Transition
11.13 Action
11.14 Liste d'instructions
11.15 Temporisateur
11.16 Exception
12 Données
12.1 Définitions de données
12.2 Utilisation passive des données
12.3 Utilisation active des données
13 Définition de système générique
13.1 Définition facultative
13.2 Chaîne de transition facultative
Annexe A – Index
(correspondant à la version anglaise) 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.3 Paquetage Prédéfini (Predefined)
Annexe E – Réservée aux
exemples
Annexe F – Définition formelle du langage SDL: aperçu général (publiée
séparément)
Appendice I – Etat de la Rec. Z.100, des documents et Recommandations associés
Appendice II – Directives concernant la maintenance du langage SDL
II.1 Maintenance du langage SDL
Appendice III – Conversion systématique de SDL 92 en SDL 2000