Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications

Marinković, Bojan

Povezivanje heterogenih prekrivajućih mreža: definicija, formalizacija i primene

Abstract

This Ph.D. thesis addresses topics related to overlay networks, their de_nition, formalization and applications. Descriptions of the Chord and Synapse protocols using the ASM formalism is presented, and both a high-level and a re_ned proof of the correctness of the Chord formalization is given. A probabilistic assessment of the exhaustiveness of the Synapse protocol is performed. An updated version of the Proposal of metadata schemata for movable cultural heritage as well as a Proposal of metadata schemata for describing collections are provided. Based of the Chord protocol, a Distributed catalog of digitized collections of Serbian cultural herigate is implemented.

Doktorska disertacija se bavi temama vezanim za prekrivajuće mreže, njihovom definicijom, formalizacijom i primenama. Dati su opisi Chord i Synapse protokola korišćenjem ASM formalizma, kao i dokaz korektnosti formalizacije Chord protokola na visokom nivou, kao i njegovo profinjenje. Izvršena je verovatnosna ocena uspešnosti pretrage pomoću Synapse protokola. Predstavljena je ažurirana verzija Predloga sheme meta podataka za pokretna kulturna dobra, kao i Predlog sheme meta podataka za opis kolekcija. Implementiran je Distribuirani katalog digitalizovanih kolekcija kulturne baštine Srbije zasnovan na Chord protokolu.

Faculty:
University of Novi Sad, Faculty of Technical Science
Date:
10-10-2014

Projects:

Keywords:

Overlay Networks Distributed Hash Tables Verification Abstract State Machines Temporal Logic Digitization of the Cultural Heritage / Prekrivajuće mreže / Distribuirane heš tabele / Verifikacija / Mašine apstraktnih stanja / Temporalne logike / Digitalizacija kulturne baštine

[ Google Scholar ]