edoc-Server der Humboldt-Universität zu Berlin

Dissertation

Autor(en): Bixia Wu
Titel: Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Gutachter: Wolfgang Reisig; Bodo Hohberg; Jörg Desel
Erscheinungsdatum: 12.07.2007
Volltext: pdf (urn:nbn:de:kobv:11-10078908)
Fachgebiet(e): Informatik
Schlagwörter (ger): Petrinetze, Verifikation, Verfeinerung, Verteilte Algorithmen
Schlagwörter (eng): Petri Nets, Verification, Refinement, Distributed Algorithms
Einrichtung: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
Zitationshinweis: Wu, Bixia: Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen; Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II , publiziert am 12.07.2007, urn:nbn:de:kobv:11-10078908
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.

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 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. 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 Kausalitäten im lokalen Verfeinerungsnetz lassen sich einerseits beim Entwurf direkt durch Nachrichtenaustausch realisieren. Andererseits kann man bei der Verifikation die Gültigkeit einer Kausalität im lokalen Verfeinerungsnetz direkt vom Netz ablesen. Daher ist diese Methode leicht zu verwenden. Die Anwendung der Methode wird in der Arbeit an verschiedenen nicht trivialen Beispielen demonstriert.
Abstract (eng):
In order to make design and verification of complicated distributed algorithms easier and more understandable, a refinement method is often used. A simple algorithm, which fulfills desired properties, is refined stepwise to a complicated algorithm. In each step the desired properties are preserved. For messages-based distributed algorithms we have developed a new refinement method. We begin with an initial algorithm, which contains actions, which describe common tasks of several agents. In each step we refine one of these actions to a net, which contains only such actions, which describe the tasks of individual agents. Thus, each step is a distribution of an undistributed action. The analysis of such refinement steps is accomplished with the help of a new refinement notation - the distributing refinement. Preservation of the partial order of the refined algorithm is important. This can be achieved by causalities of the actions of the agents in the local refinement net. Causalities in the local refinement net can be realized on the one hand at design directly by messages passing. On the other hand, at verification one can read the validity of causality in the local refinement net directly from the net. Therefore, this method is easy to use. The application of the method is demonstrated by several nontrivial examples in this thesis.
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: 3 Zugriffe PDF: 3 Zugriffe Startseite: 4 Zugriffe PDF: 8 Zugriffe Startseite: 7 Zugriffe PDF: 4 Zugriffe Startseite: 4 Zugriffe PDF: 3 Zugriffe Startseite: 2 Zugriffe PDF: 6 Zugriffe PDF: 5 Zugriffe Startseite: 1 Zugriffe PDF: 1 Zugriffe PDF: 3 Zugriffe PDF: 5 Zugriffe Startseite: 1 Zugriffe PDF: 5 Zugriffe Startseite: 1 Zugriffe PDF: 1 Zugriffe PDF: 1 Zugriffe PDF: 5 Zugriffe PDF: 6 Zugriffe PDF: 7 Zugriffe PDF: 1 Zugriffe Startseite: 1 Zugriffe PDF: 11 Zugriffe Startseite: 1 Zugriffe PDF: 11 Zugriffe PDF: 14 Zugriffe PDF: 6 Zugriffe Startseite: 1 Zugriffe PDF: 11 Zugriffe PDF: 6 Zugriffe PDF: 14 Zugriffe PDF: 4 Zugriffe PDF: 3 Zugriffe Startseite: 5 Zugriffe PDF: 10 Zugriffe PDF: 4 Zugriffe Startseite: 2 Zugriffe PDF: 12 Zugriffe PDF: 12 Zugriffe PDF: 6 Zugriffe PDF: 6 Zugriffe Startseite: 3 Zugriffe PDF: 9 Zugriffe Startseite: 3 Zugriffe PDF: 13 Zugriffe PDF: 14 Zugriffe Startseite: 2 Zugriffe PDF: 14 Zugriffe PDF: 9 Zugriffe Startseite: 2 Zugriffe PDF: 5 Zugriffe PDF: 13 Zugriffe
Jul
11
Aug
11
Sep
11
Oct
11
Nov
11
Dec
11
Feb
12
Apr
12
May
12
Jun
12
Jul
12
Aug
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
Aug
14
Sep
14
Oct
14
Monat Jul
11
Aug
11
Sep
11
Oct
11
Nov
11
Dec
11
Feb
12
Apr
12
May
12
Jun
12
Jul
12
Aug
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
Aug
14
Sep
14
Oct
14
Startseite 3 4 7 4 2   1     1 1           1 1     1         5   2       3 3   2   2  
PDF 3 8 4 3 6 5 1 3 5 5 1 1 5 6 7 1 11 11 14 6 11 6 14 4 3 10 4 12 12 6 6 9 13 14 14 9 5 13

Gesamtzahl der Zugriffe seit Jul 2011:

  • Startseite – 43 (1.13 pro Monat)
  • PDF – 271 (7.13 pro Monat)
 
 
Generiert am 24.11.2014, 10:56:10