Prof. Dr. Egon Börger

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.