Parallele Systeme

Systeme paralleler Prozesse gehren seit jeher zu den reizvollsten Forschungs gegenstnden der Informatik. Gleichzeitig klafft die Lcke zwischen Theorie und den Bedrfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur bentigt wissenschaftlich fundierte Methoden zur Programmkonstruktion fr - 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 ergnzt wurden. Der Theoretiker, der das Wesen der Parallelitt zu ergrnden versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich berhaupt um die praktische Umsetzbarkeit seiner Theorie kmmert. Es ist sicher nicht zu khn, zu behaupten, da noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in grerem 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 herkmmlicher Bauart ablaufenden Prozessen bestehen. Ich mchte allen danken, die mich untersttzt 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 Ratschlge zur Semantik der Spezifikationssprache ge geben und mich darber hinaus in zahlreichen Diskussionen untersttzt und motiviert. Dank gebhrt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den fr den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seinerkonstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhnge beigetragen.