A Formal Model for Peer-to-Peer Systems

  • Kamill Panitzek
  • Thorsten Strufe
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7847)

Benchmarking a system, first requires a good understanding of the system and all its components. Formal definitions help to understand the relations between single system components, and at the same time they provide constraints for a category or group of systems to be compared with each other in a benchmark. Although not all peer-to-peer systems can be described in depth by a unique formal model, most systems have a common basis. In this section, a generic formal model of these peer-to-peer systems is provided.

A peer-to-peer system uses a virtual overlay network on top of a physical (underlay) network, usually the Internet. To define the overlay network, first a definition of the underlay network is needed.

Definition 1

An underlay network can be represented as a directed, loop-free graph \(\mathcal{G}=(V, E)\)

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Kamill Panitzek
    • 1
  • Thorsten Strufe
    • 2
  1. 1.Telecooperation LabTechnische Universität DarmstadtDarmstadtGermany
  2. 2.Peer-to-Peer Networks GroupTechnische Universität DarmstadtDarmstadtGermany

Personalised recommendations