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