Softwaretechnik für verteilte Systeme

1. Einführung.- Literatur.- 2. Beschreibungsmethodik.- 2.1 Elemente der Softwarestrukturierung.- 2.2 Beispiel einerverzeigerten Liste.- Literatur.- 3. Grundlagen der nichtsequentiellen Programmverarbeitung.- 3.1 Operationen.- 3.2 Berechnungen.- 3.3 DerProzeß.- 3.4 Koexistierende Prozesse.- 3.5 Koordinierung kooperierender Prozesse.- 3.6 Zeitabhängige Fehler.- Literatur.- 4. Strukturmodelle für konkurrente Programme.- 4.1 Daten-gekoppelte Prozeßsysteme.- 4.2 Monitor-gekoppelte Prozeßsysteme.- 4.3 Botschaften-gekoppelte Prozeßsysteme.- Literatur.- 5. Ein allgemeines Realisierungskonzept für verteilte Systeme - das OSI-Referenzmodell von ISO.- Literatur.- 6. Protokolle.- 6.1 Ein Verfahren zur Protokollspezifikation.- 6.2 Spezifikation eines HDLC-Protokolls.- Literatur.- 7. Netztopologien und Übertragungssteuerungsverfahren für lokale Netze.- 7.1 Ringnetze.- 7.2 Busnetze.- Literatur.- 8. Der ETHERNET-Bus.- 8.1 Netztopologie und technische Daten.- 8.2 Ein Funktionsmodell der ETHERNET-Architektur.- 8.3 Die Betriebsweise des ETHERNET.- 8.4 Schnittstellen.- Literatur.- 9. Knotenbetriebssysteme.- 9.1 Konstruktionsprinzipien für Knotenbetriebssysteme.- 9.2 Der Betriebssystemkern.- Literatur.- 10. Protokollimplementierung.- 10.1 Ein systematisches Implementierungsschema für Protokolle.- 10.2 Implementierung eines HDLC-Protokolls.- 11. Käufliche Netzwerkbetriebssysteme.- 11.1 Kooperierende Universalbetriebssysteme.- 11.2 Verteilte Betriebssysteme.- Literatur.- 12. Sachverzeichnis.

Professor Dr. rer. nat. Jürgen Nehmer ist emeritierter Professor für Informatik. Für seine Verdienste um die Entwicklung der TU Kaiserslautern wurde er mit der Ehrenmedaille der Hochschule und dem Landesverdienstorden von Rheinland-Pfalz ausgezeichnet. Im Jahr 2008 wurde er zum Fellow der Gesellschaft für Informatik (GI) ernannt.

1. Einführung.- Literatur.- 2. Beschreibungsmethodik.- 2.1 Elemente der Softwarestrukturierung.- 2.2 Beispiel einerverzeigerten Liste.- Literatur.- 3. Grundlagen der nichtsequentiellen Programmverarbeitung.- 3.1 Operationen.- 3.2 Berechnungen.- 3.3 DerProzeß.- 3.4 Koexistierende Prozesse.- 3.5 Koordinierung kooperierender Prozesse.- 3.6 Zeitabhängige Fehler.- Literatur.- 4. Strukturmodelle für konkurrente Programme.- 4.1 Daten-gekoppelte Prozeßsysteme.- 4.2 Monitor-gekoppelte Prozeßsysteme.- 4.3 Botschaften-gekoppelte Prozeßsysteme.- Literatur.- 5. Ein allgemeines Realisierungskonzept für verteilte Systeme - das OSI-Referenzmodell von ISO.- Literatur.- 6. Protokolle.- 6.1 Ein Verfahren zur Protokollspezifikation.- 6.2 Spezifikation eines HDLC-Protokolls.- Literatur.- 7. Netztopologien und Übertragungssteuerungsverfahren für lokale Netze.- 7.1 Ringnetze.- 7.2 Busnetze.- Literatur.- 8. Der ETHERNET-Bus.- 8.1 Netztopologie und technische Daten.- 8.2 Ein Funktionsmodell der ETHERNET-Architektur.- 8.3 Die Betriebsweise des ETHERNET.- 8.4 Schnittstellen.- Literatur.- 9. Knotenbetriebssysteme.- 9.1 Konstruktionsprinzipien für Knotenbetriebssysteme.- 9.2 Der Betriebssystemkern.- Literatur.- 10. Protokollimplementierung.- 10.1 Ein systematisches Implementierungsschema für Protokolle.- 10.2 Implementierung eines HDLC-Protokolls.- 11. Käufliche Netzwerkbetriebssysteme.- 11.1 Kooperierende Universalbetriebssysteme.- 11.2 Verteilte Betriebssysteme.- Literatur.- 12. Sachverzeichnis.