Informatik, TU Wien

Vortrag und Diskussion mit Egon Börger, Università di Pisa (Italien)

Modellieren und Analyse verteilter Algorithmen mit nebenläufigen Abstract State Machines. Ein Vergleich mit Petrinetzen

Abstract:

Herr Prof. Dr. Egon Börger führt in diesem Vortrag an klassischen Beispielen vor, wie man verteilte Algorithmen mit nebenläufigen Abstract State Machines (ASMs) auf hoher Ebene so modellieren kann, dass sich Eigenschaften von Interesse mit die Intuition unterstützenden, dem Praktiker zugänglichen Standardmethoden der Mathematik analysieren und sich die Modelle mit Standardmethoden des Softwareengineering schrittweise zu Code verfeinern lassen.

 

Er vergleicht die ASMs mit entsprechenden Petrinetzen aus der Literatur, was eine Reihe von störenden Eigentümlichkeiten der Letzteren für Entwurf, Analyse und Implementierung verteilter Systeme zu Tage bringt.

 

Kurzbiografie Egon Börger:

1965-1971 Studium der Philosophie, Logik und Mathematik in Paris (Sorbonne), L¨owen und Mu¨nster i.W. Dort 1971 Promotion in math. Logik, 1976 Habilitation, 1976-1978 Dozent. Professur fu¨r Informatik an den Universitäten in Salerno 1972-1976, Dortmund 1978-1985, Udine 1982/83 und seit 1985 Pisa. in Salerno 1972-1976, Dortmund 1978-1985, Udine 1982/83 und seit 1985 an der Università di Pisa. Forschungsjahre bei IBM, Siemens, Microsoft, SAP, ETH Zu¨rich. (Co-) Autor von sechs Monogra-phien und zahlreichen Publikationen in Logik und Informatik. Mitbe-gru¨nder der ASM-Methode. Humboldt Forschungspreistra¨ger, Mitglied der Academia Europaea, Festschriften LNCS 5115/7316/7321.

___________________________________________________________

Prof. Dr. Egon Boerger

Dipartimento di Informatica | Email: boerger at di.unipi.it

Universita di Pisa | Largo Bruno Pontecorvo, n.3 |

I - 56127 PISA

http://pages.di.unipi.it/borger/ or http://www.di.unipi.it/~boerger

___________________________________________________________

 

A personal retrospective on the role of logic for computer science (in German):

https://austria-forum.org/af/Wissenssammlungen/Essays/Kulturwandel_durch_Technik/boerger