edoc-Server der Humboldt-Universität zu Berlin

Band einer Schriftenreihe

Autor(en): Bodo Hohberg; Wolfgang Reisig; Bixia Wu
Titel: Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Erscheinungsdatum: 2007
Erschienen in: Informatik-Berichte  216 ISSN: 0863-095X
Volltext: pdf (urn:nbn:de:kobv:11-10090034)
Fachgebiet(e): Informatik
Schlagwörter (ger): Petrinetz, Kausalität, Verifikation, Transitionsverfeinerung, verteilte Abläufe, Halbordnungssemantik, verteilte Algorithmen, Nachrichten, Agenten, Entwurf
Herausgeber: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
Metadatenexport: Um den gesamten Metadatensatz im Endnote- oder Bibtex-Format zu speichern, klicken Sie bitte auf den entsprechenden Link. Endnote   Bibtex  
print on demand: Wenn Sie auf dieses Icon klicken, können Sie ein Druckexemplar dieser Publikation bestellen.
Diese Seite taggen: Diese Icons führen auf so genannte Social-Bookmark-Systeme, auf denen Sie Lesezeichen anlegen, persönliche Tags vergeben und Lesezeichen anderer Nutzer ansehen können.
  • connotea
  • del.icio.us
  • Furl
  • RawSugar

Abstract (ger):
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, 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.
Zugriffsstatistik: Die Daten für die Zugriffsstatistik der einzelnen Dokumente wurden aus den durch AWStats aggregierten Webserver-Logs erstellt. Sie beziehen sich auf den monatlichen Zugriff auf den Volltext sowie auf die Startseite. Die Zugriffsstatistik wird nicht standardisiert erfasst und kann maschinelle Zugriffe enthalten.
 
Bei Formatversionen eines Dokuments, die aus mehreren Dateien bestehen (insbesondere HTML), wird jeweils der monatlich höchste Zugriffswert auf eine der Dateien (Kapitel) des Dokuments angezeigt.
 
Um die detaillierten Zugriffszahlen zu sehen, fahren Sie bitte mit dem Mauszeiger über die einzelnen Balken des Diagramms.
Startseite: 2 Zugriffe Startseite: 1 Zugriffe PDF: 1 Zugriffe Startseite: 2 Zugriffe PDF: 1 Zugriffe PDF: 2 Zugriffe PDF: 7 Zugriffe PDF: 5 Zugriffe PDF: 7 Zugriffe PDF: 13 Zugriffe PDF: 14 Zugriffe PDF: 12 Zugriffe PDF: 4 Zugriffe PDF: 2 Zugriffe PDF: 3 Zugriffe PDF: 2 Zugriffe PDF: 6 Zugriffe Startseite: 1 Zugriffe PDF: 3 Zugriffe PDF: 3 Zugriffe PDF: 4 Zugriffe Startseite: 1 Zugriffe PDF: 3 Zugriffe Startseite: 1 Zugriffe PDF: 6 Zugriffe PDF: 1 Zugriffe PDF: 4 Zugriffe Startseite: 2 Zugriffe PDF: 4 Zugriffe Startseite: 1 Zugriffe PDF: 7 Zugriffe PDF: 4 Zugriffe
Jul
11
Aug
11
Apr
12
May
12
Sep
12
Oct
12
Nov
12
Dec
12
Jan
13
Feb
13
Mar
13
Apr
13
May
13
Jun
13
Jul
13
Aug
13
Sep
13
Oct
13
Nov
13
Dec
13
Jan
14
Feb
14
Mar
14
Apr
14
May
14
Jun
14
Jul
14
Monat Jul
11
Aug
11
Sep
12
Oct
12
Nov
12
Dec
12
Jan
13
Feb
13
Mar
13
Apr
13
May
13
Jun
13
Jul
13
Aug
13
Sep
13
Oct
13
Nov
13
Dec
13
Jan
14
Feb
14
Mar
14
Apr
14
May
14
Jun
14
Jul
14
Startseite 2 1 2                         1     1 1     2 1  
PDF   1 1 2 7 5 7 13 14 12 4 2 3 2 6 3 3 4 3 6 1 4 4 7 4

Gesamtzahl der Zugriffe seit Jul 2011:

  • Startseite – 11 (0.41 pro Monat)
  • PDF – 118 (4.54 pro Monat)
 
 
Generiert am 27.08.2014, 10:55:43