SDL : modélisation de protocoles et systèmes réactifs Coll. Réseaux et télécommunications

SDL est un language orienté objet, normalisé par ITU-T (Union Internationale des télecommunications).Il fait partie des techniques de description formelle et il est recommandé pour la spécification et la description de systèmes de télécommunications, de services et protocoles de réseaux et de systèmes réactifs, distribués ou temps réel. SDL est utilisé avec succès par beaucoup d'industriels.SDL - modélisation de protocoles et systèmes réactifs - présente de manière didactique et progressive les différents aspects syntaxiques et sémantiques, textuels et graphiques de SDL et montre comment ces concepts peuvent être utilisés pour spécifier et décrire des systèmes. Beaucoup d'exemples issus du domaine des réseaux et des systèmes réactifs ponctuent les différents chapitres. L'ouvrage reprend la distinction retenue par SDL entre les modes de spécification textuel et graphique. En effet, ces deux modes sont complémentaires pour comprendre, valider et faire évoluer des spécifications SDL. De plus, ils tiennent compte des habitudes de travail et des besoins des utilisateurs.

1. Vue d'ensemble de SDL2. Structure de système SDL et communication3. Spécification de comportement : les processus4. Mécanismes de décomposition de système5. Spécification de données 1. Types et générateurs de types prédéfinis6. Spécification de données 2. Définition et utilisation de types abstraits7. Spécification de données 3. Combinaison de SDL et ASN.18. Spécification orientée objet avec SDL 1. Types et paramétrage de types9. Spécification orientée objet avec SDL 2. Spécification de types10. Guide pour l'élaboration de spécification SDL11. Spécification de services et protocolesAnnexesA. Récapitulatif des symboles graphiques de SDL B. Différences entre SDL-92 et SDL-96 C. Grammaire pour l'utilisation conjointe de SDL et ASN.1 (recommandation IUT-T Z.105)D. Eléments de ACS E. Correspondance français-anglais des mots-clés et termes de SDLBibliographie - Index