SDL

Modélisation de protocoles et systèmes réactifs

Zoubir Mammeri

623 pages, parution le 21/07/1970

Ajouter à une liste

Indisponible

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 retentie 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.

Sommaire

Vue d'ensemble de SDL
Structure de système SDL et communication
Spécification de comportement - Les processus
Mécanismes de décomposition des système
Spécification de données (1) - Types et générateure de types prédéfinis
Spécification de données (2) - Définition et utilisation de types abstraits
Spécifications de données (3) - Combinaison de SDL et ASN.1
Spécification orientée objet avec SDL (1) - Types et paramétrages de types
Spécification orientée objet avec SDL (2) - Spécialisation de types
guide pour l'élaboration de spécification SDL
Spécification de services et protocoles
Annexes
- Annexe A - Récapitulatif des symboles graphiques SDL
- Annexe B - Différence entre SDL-92 et SDL-96
- Annexe C - Grammaire pour l'utilisation conjointe de SDL et ASN.1 (recommandation IUT-T Z.105)
- Annexe D - Eléments de ACSE
- Annexe E - Correspondance français-anglais des mots-clés et de termes SDL

L'auteur - Zoubir Mammeri

Zoubir Mammeri est professeur a l'universite Paul Sabatier-Toulouse III. Il est membre de FIRIT (Institut de Recherche en Informatique de Toulouse). Ses activites d'enseignement et de recherche incluent particulierement les systemes temps reel, les systemes repartis, les reseaux, le multimedia et l'ordonnancement temps reel.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Zoubir Mammeri
Parution	21/07/1970
Nb. de pages	623
Format	15,5 x 23,5
Couverture	Broché
Poids	932g
Intérieur	Noir et Blanc
EAN13	9782746201668