MENÜ MENÜ  

cover

Verteilende Verfeinerung - Entwurf und Verifikation verteilter Algorithmen mit Petrinetzen

Bixia Wu

ISBN 978-3-8325-1664-2
201 Seiten, Erscheinungsjahr: 2007
Preis: 43.00 €
Um Entwurf und Verifikation komplizierter verteilter Algorithmen leichter und verständlicher zu machen, wird oft eine Verfeinerungsmethode verwendet. Dabei wird ein einfacher Algorithmus, der gewünschte Eigenschaften erfüllt, schrittweise zu einem komplizierten Algorithmus verfeinert. In jedem Schritt sollen die gewünschten Eigenschaften erhalten bleiben.

Für nachrichtenbasierte verteilte Algorithmen hat die Autorin eine neue Verfeinerungsmethmode entwickelt. Begonnen wird mit einem Anfangsalgorithmus, der Aktionen enthält, die gemeinsame Aufgaben mehrerer Agenten beschreiben. In jedem Schritt wird eine dieser Aktionen zu einem Netz verfeinert, das nur solche Aktionen enthält, die die Aufgaben einzelner Agenten beschreiben. Jeder Schritt ist also eine Verteilung einer unverteilten Aktion.

Die Analyse solcher Verfeinerungsschritte wird mit Hilfe eines neuen Verfeinerungsbegriffs -- der verteilenden Verfeinerung -- durchgeführt. Entscheidend dabei ist das Erhaltenbleiben der Halbordnungen des zu verfeinernden Algorithmus. Dies ist durch Kausalitäten der Aktionen der Agenten im lokalen Verfeinerungsnetz zu erreichen.

Die Anwendung dieser neuen Methode wird an verschiedenen anschaulichen Beispielen demonstriert.

Keywords:
  • Petrinetze
  • Transitionsverfeinerung
  • verteilte Algorithmen
  • Verifikation
  • Entwurf

KAUFOPTIONEN

43.00 €
auf Lager
Versandkostenfrei innerhalb Deutschlands
cover cover cover cover cover cover cover cover cover