IfI-Bib

Estelle, LOTOS und SDL

Standard-Spezifikationssprachen für verteilte Systeme

description

Das Buch gibt eine EinfA1/4hrung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen. Insbesondere im Zusammenhang mit der Idee und den Konzepten von OSI (Open Systems Interconnection) gewinnen die drei Sprachen zunehmend an Bedeutung - innerhalb und auAerhalb der Normung. Das Buch stellt die drei Sprachen weitgehend anhand von durchgAngigen Beispielen vor, bei denen es sich um Dienste und Protokolle handelt, die den OSI-Konzepten folgen. Das Besondere an dem Buch ist, daA durch die Verwendung identischer Beispiele die drei Sprachen direkt miteinander vergleichbar werden. Obwohl Estelle, LOTOS und SDL formale Sprachen sind, wird weitgehend auf Formalismen verzichtet, so daA die Darstellung allgemein und leicht verstAndlich ist. Das Buch bildet daher ein sehr nA1/4tzliches Komplement zu den offiziellen Dokumenten und Sprachbeschreibungen der ISO und des CCITT. Das Ziel des Buches ist, dem Leser einen Einblick in die drei Sprachen zu geben und als leicht verstAndliches und kompaktes Nachschlagewerk in der tAglichen Arbeit zu dienen.

read more