Sdl - Modélisation De Protocoles Et Systèmes Réactifs Zoubir Mammeri

• Auteur : Zoubir Mammeri
• Editeur : Hermes Science Publications
• Collection : Ic2 Reseaux Et Telecoms
• Parution : 29/07/2000
• Nombre de pages : 623
• Nombre de livres : 1
• Dimensions : 23.50 x 15.50 x 3.40

Résumé :

SDL est un langage orienté objet, normalisé par l'ITU-T (Union internationale des Télécommunications). SDL fait partie des techniques de description formelle. 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. Il 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.

A propos de l'auteur :

Zoubir Manimeri est professeur à l'université Paul Sabatier Toulouse III. Il est membre de l'IRIT (Institut de Recherche en Informatique de Toulouse). Ses activités d'enseignement et de recherche incluent particulièrement les systèmes temps réel, les systèmes répartis, les réseaux, le multimédia et l'ordonnancement temps réel.

Sommaire :

• Vue d'ensemble de SDL
• Structure de système SDL et communication
• Spécification de comportement : les processus
• Mécanismes de décomposition de système
• Spécifications de données : types et générateurs de types prédéfinis
• Spécification de données : définition et utilisation de types abstraits
• Spécification de données : combinaison de SDL et ASN1
• Spécification orientée avec SDL : types et paramétrage de types
• Spécification orientée objet avec SDL : spécification de types
• Guide pour l'élaboration de spécification SDL
• Spécification de services et protocoles