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

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 :

Besoin d'en savoir plus sur ce produit ?