ISBN-13: 9783540160632 / Niemiecki / Mikrofilm / 1986 / 153 str.
Systeme paralleler Prozesse gehoren seit jeher zu den reizvollsten Forschungs- gegenstanden der Informatik. Gleichzeitig klafft die Lucke zwischen Theorie und den Bedurfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benotigt wissenschaftlich fundierte Methoden zur Programmkonstruktion fur - 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 erganzt wurden. Der Theoretiker, der das Wesen der Parallelitat zu ergrunden versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich uberhaupt um die praktische Umsetzbarkeit seiner Theorie kummert. Es ist sicher nicht zu kuhn, zu behaupten, da noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in groerem 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 herkommlicher Bauart ablaufenden Prozessen bestehen. Ich mochte allen danken, die mich unterstutzt 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 Ratschlage zur Semantik der Spezifikationssprache ge- geben und mich daruber hinaus in zahlreichen Diskussionen unterstutzt und motiviert. Dank gebuhrt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den fur den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhange beigetragen.