Sdl. Modelisation De Protocoles Et Systemes Reactifs

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.