Parallele Systeme - Röhrich, Johannes

. .

Résumé :
Systeme paralleler Prozesse geh?ren seit jeher zu den reizvollsten Forschungs? gegenst?nden der Informatik. Gleichzeitig klafft die L?cke zwischen Theorie und den Bed?rfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur ben?tigt wissenschaftlich fundierte Methoden zur Programmkonstruktion f?r - und das ist der springende Punkt - von-Neumann-Rechner; er verwendet sequentiell-algorithmische Program? miersprachen, die gleichsam im Nachhinein um Konzepte der Programmierung paralleler Systeme erg?nzt wurden. Der Theoretiker, der das Wesen der Parallelit?t zu ergr?nden versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich ?berhaupt um die praktische Umsetzbarkeit seiner Theorie k?mmert. Es ist sicher nicht zu k?hn, zu behaupten, da? noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in gr??erem Umfang gebaut und verbreitet werden. Diese Arbeit hat deshalb zum Ziel, Methoden zur Strukturierung und zur Verifikation (verteilter) paralleler Systeme zu entwickeln, die aus sequen? tiellen, auf Maschinen herk?mmlicher Bauart ablaufenden Prozessen bestehen. Ich m?chte allen danken, die mich unterst?tzt haben. Lron Treff und Franz? Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka? stens hat mir wertvolle Ratschl?ge zur Semantik der Spezifikationssprache ge? geben und mich dar?ber hinaus in zahlreichen Diskussionen unterst?tzt und motiviert. Dank geb?hrt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den f?r den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seinerkonstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenh?nge beigetragen.

Sommaire:
Einf?hrung.- 1. Grundbegriffe und Typische Problemstellungen.- 2. Lebendigkeitseigenschaften.- 3. Hierarchisch Modularisierte Parallele Systeme.- 4. Zeit in Verteilten Systemen.- 5. Verteilte Implementierung Paralleler Systeme.- 6. Automatische Verifikation Paralleler Systeme.- 7. Spezifikation Paralleler Systeme.- 8. Axiomatische Verifikation Paralleler Systeme.- 9. Zusammenfassung.