Unterlagen

Achtung! Die elektronischen Unterlagen befinden sich auf Sep1/Sep2 und sind durch file:/home/eksys/HTML/index.html zugänglich.

Mit ([xxx99]*) gekennzeichnete Werke sind im Praktikumsordner abgeheftet bzw. als Buch im Praktikumsraum vorhanden. Die anderen Werke sind in der Bibliothek vorhanden oderüber die Mitglieder der AG Rechnernetze zu bekommen.

• Einführungen in SDL
• Kernvorlesung "Rechnernetze" (WiSe 97/98) gibt eine gute Einführung in SDL mit Beispielen.
• Tutorial: Einführung in SDL (tutorial für SFB Praktikum (WS 97/98)
• Bücher: Es gibt mittlerweile mehrere Bücher über SDL. Folgende zwei sind zu empfehlen:
• [Ols95]* - eine Kopie befindet sich im Praktikumsraum. Einführendes Kapitel wird ausgeteilt.
• [Ell97]* - befindet sich im Praktikumsraum.
• Zeitschriftartikel: [Br96]*, [Sar96]* [Fa94]*. Die Artikel sind im Praktikumsordner zu finden.
• SDL Standard: [Z100] Im Praktikumsraum.
• Musterbasierte Protokollentwicklung
• Tutorial: "Musterbasierter Entwurf in SDL" SFB 501 Praktikum (WS 97//98)*
• Artikel: Im Praktikumsordner abgeheftet.
• SDT
• Zu empfehlen ist das in SDT integrierter Online-Manual.  Beachte ebenfalls zahlreiche elektronische Unterlagen im Praktikumsverzeichniss.
• Unterlagen zu TCP/IP -Unix-Sockets
• [Gau87]* ist ein Einführungsartikel, der alles wesentliche beschreibt und auch kurze Code-Beispiele gibt. Jeder Praktikumsteilnehmer erhält eine Kopie. Bei weitergehenden Fragen empfiehlt sich das Buch [Ste90]* zur Netzwerkprogrammierung unter UNIX. Sieh auch elektronische Unterlagen im Praktikumsverzeichniss
• Allgemeine Hintergrundliteratur
• [Tab92] ist ein umfassendes Lehrbuch über Rechnernetze. [Ker92] stellt das ISO-OSI -Schichtenmodell für offene, verteilte Systeme ausführlich dar, insbesondere die Anwendungsschicht. [ISO81] ist der ISO -Standardüber das OSI-Basisreferenzmodell
• Elektronische Unterlagen
• alle Elektronischen unterlagen befinden sich auf Sep1/Sep2 und sind durch file:/home/eksys/HTML/index.html zugänglich.

[Bra96]   Rolv Braek. SDL Basics. Computer Networks and ISDN Systems
                 28 (1996) 1585-1602

[Ker92]   Kerner, H. (Hrsg.). Rechnernetze nach OSI.Addison-Wesley (1992).

[Ell97]     Jan Ellsberger, Dieter Hogrefe, Abardeo Sarma, SDL Formal
                 Object-oriented Language for Communicating Systems (1997)

[Fa94]     Ove Faergemand, Anders Olsen. Intrduction to SDL-92. Computer
                 Networks and ISDN Systems 26 (1994) 1143 - 1167

[Gau87]    Gauweiler, T. UNIX als Basis für verteilte Systeme.
                   Informationstechnik it 29(6) (1987)

[Hog89]    Hogrefe, D. Estelle, LOTOS und SDL. Standard-Spezifikationssprachen
                   für verteilte Systeme. Springer (1989)
 
[ISO81]    ISO/TC 97/SC 16, ISO 7498 Data Processing æ Open Systems
                  Interconnection æ Basic Reference Model (1981)

[Ols95]    Anders Olsen, Ove Faergemand, Birger Moller-Pedersen,
                  Rick Reed J.R.W. Smith, Systems Engineering Using SDL-92. (1995)

[Sar96]    Sarma A. Introduction to SDL-92.
                 Computer Networks and ISDN Systems 28(1996) 1603-1615

[Ste90]    Stevens, W. R. UNIX Network Programming.
                 Prentice-Hall, Englewood Cliffs, NJ (1990)

[Tan 92]  Tanenbaum, A.S. Computer-Netzwerke.
                  Wolfram's Fachverlag, Attenkirchen, 2.Aufl. (1992)

[TAU94]  Tenney, R.L., Amer, P.D und Uyar, M.Ü. (Hrsg.).
                   Formal Description Techniques, VI. North-Holland, Amsterdam (1994)
 
[Tur92]    Turner, K. Using Formal Description Techniques.
                  An Introduction to Estelle, LOTOS, and SDL. Wiley (1992).

[Z100]     ITU-T (Telecommunication Standardization Sector of ITU) CCITT Specification
                 and Descritption Language (SDL). Recomendation Z100 (03/93)