Fachbereich Informatik an der RPTU in Kaiserslautern

Prof. Dr. Egon Börger

(FB Informatik, Universität Pisa)

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

(Fachvortrag in Kooperation mit dem Fachbereich Informatik)

Wir führen 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. Wir vergleichen 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.


Zeit: Montag, 11.04.2016, 11:00 - 12:30 Uhr
Ort: Gebäude 48 Raum 210