Show simple item record

2007-01-01Buch DOI: 10.18452/2477
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
dc.contributor.authorHohberg, Bodo
dc.contributor.authorReisig, Wolfgang
dc.contributor.authorWu, Bixia
dc.date.accessioned2017-06-15T17:13:02Z
dc.date.available2017-06-15T17:13:02Z
dc.date.created2008-07-04
dc.date.issued2007-01-01
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3129
dc.description.abstractUm 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, die durch Petrinetze modelliert werden, haben wir eine neue Verfeinerungsmethmode entwickelt. Wir beginnen mit einem Anfangsalgorithmus, der Aktionen enthält, die gemeinsame Aufgaben mehrerer Agenten beschreiben. In jedem Schritt verfeinern wir eine dieser Aktionen zu einem Netz, das nur solche Aktionen enthält, die die Aufgaben einzelner Agenten beschreiben. Jeder Schritt ist also eine Verteilung einer unverteilten Aktion, also eine verteilende Verfeinerung. Die Arbeit klärt den Zusammenhang von Eigenschaften des Verfeinerungsnetzes und den bei der Verfeinerung gültig bleibenden Eigenschaften des verfeinerten Algorithmus. Hierbei sind Kausalitäten im Verfeinerungsnetz von entscheidender Bedeutung. Die Anwendung der Methode wird in der Arbeit an anschaulichen Beispielen demonstriert.ger
dc.language.isoger
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
dc.subjectPetrinetzger
dc.subjectKausalitätger
dc.subjectVerifikationger
dc.subjectTransitionsverfeinerungger
dc.subjectverteilte Abläufeger
dc.subjectHalbordnungssemantikger
dc.subjectverteilte Algorithmenger
dc.subjectNachrichtenger
dc.subjectAgentenger
dc.subjectEntwurfger
dc.subject.ddc004 Informatik
dc.titleEntwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10090034
dc.identifier.doihttp://dx.doi.org/10.18452/2477
local.edoc.container-titleInformatik-Berichte
local.edoc.pages30
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-volume2007
local.edoc.container-issue216
local.edoc.container-year2007
local.edoc.container-erstkatid2942054-4

Show simple item record