Software engineering for distributed applications. Mechanics and tools (Q1201981)

Das Gebiet der verteilten Systeme ist seit den späten 80er Jahren durch einige Bücher erschlossen worden. Die verteilte Anwendungsprogrammierung wird aber nur in wenigen dieser Werke gründlich behandelt --- und dann jeweils auf ein spezielles System bezogen. Das vorliegende Buch füllt somit eine Lücke: Prinzipien verteilter Anwendungssoftware werden systemunabhängig dargestellt; zudem wird auf softwaretechnische Besonderheiten der Entwicklung verteilter Anwendungen eingegangen. Nach einer Gegenüberstellung verschiedener Ansätze werden der betriebssystemorientierte und der sprachorientierte Ansatz in den Mittelpunkt gestellt. Bei der Behandlung des betriebssystemorientierten Ansatzes wird insbesondere auf das in Heidelberg und Karlsruhe entwickelte DACNOS-System eingegangen. Der Schwerpunkt liegt dann aber bei der Sprachorientierung: sehr ausführlich werden Grundlagen und verschiedene Varianten von Fernaufrufsystemen entwickelt, anschließend werden Sprachen und Systeme für die verteilte objektorientierte Programmierung behandelt. Das Kapitel über Fernaufrufe ist zweifellos das beste des Buches. Das Kapitel über Objektorientierung fällt dagegen etwas ab, unter anderem wegen der unbefriedigenden Gegenüberstellung von modulbasierten und klassenbasierten Strukturen. Eine kurze Einführung in die Konfigurationsverwaltung (mit Schwerpunkt auf dem CONIC-System) bildet die Überleitung zum softwaretechnischen Teil des Buches. Der Leser sollte davon keine ``Konstruktionslehre verteilter Anwendungen'' erwarten --- eine solche gibt es noch nicht. Die Autoren versuchen, einschlägige Anforderungen zusammenzustellen und zu systematisieren und gehen ansonsten eklektizistisch vor: verschiedene aus der Literatur bekannte Ansätze für Methoden und Werkzeuge werden vorgestellt und mit kleinen Beispielen erläutert. Es finden sich begriffliche Inkonsistenzen (Programmieren im Großen wird einmal als Synonym für Konfigurierung, ein anderes Mal als Synonym für Software- Enwicklung bezeichnet), und manche Begriffsdefinitionen werden beim gestandenen Softwaretechniker auf Widerspruch stoßen (besonders im Abschnitt 9.2.1 über Spezifikation versus Entwurf). Die kleinen Beispiele für formale Spezifikation enthalten Flüchtigkeitsfehler. Gut gelunden ist dagegen der Abschnitt über verteiltes Debugging, wo auch die spezifischen Verteilungsaspekte, jenseits der klassischen Softwaretechnik, sichtbar gemacht werden. Das Buch schließt mit einen Ausblick auf die zu erwartende dynamische Weiterentwicklung des Gebiets, die durch die technische Entwicklung bei Hochgeschwindigkeitsnetzen gefördert wird, und mit einem Überblick über erste Standardisierungsansätze. Leider ist der Text nicht frei von sprachlichen Schwächen, die bei der Populärliteratur über Computer offenbar nicht mehr auszumerzen sind, bei einem wissenschaftlichen Werk des Springer-Verlags aber vermeidbar sein sollten. Anglizismen wie ``lokationstransparent'', ``Assertion'', ``Drucker-Devices'', ``Speicher wird allokiert'' etc. müssen nicht sein. Zu monieren sind auch punktuelle inhaltliche Nachlässigkeiten an Stellen, die offenbar nicht zu den fachlichen Domänen der Autoren gehören. So ist z.B. die Funktionsweise kryptographischer Verfahren mit öffentlichen Schlüsseln falsch (oder zumindest mißverständlich) beschrieben; ein Literaturhinweis (z.B. auf RSA) fehlt. Die Schwächen werden aber aufgewogen durch die insgesamt beeindruckende Materialfülle, die die Autoren zum Thema zusammengetragen haben und die man sonst nirgends, auch nicht im englischsprachigen Bereich, in dieser Form --- konzentriert auf das Thema verteilte Anwendungen --- finden kann. Für dieses Thema muß das Buch zum gegenwärtigen Zeitpunkt als der definitive Text bezeichnet werden, an dem keiner, der sich mit der Materie vertraut machen will, vorbeikommt. Studierenden wie Praktikern kann es gleichermaßen empfohlen werden.