Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Formal Modelling of Inter-Peer...

Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems

Luigia Petre, Petter Sandvik, Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems. In: Paul Pettersson, Cristina Seceleanu (Eds.), Proceedings of the 23rd Nordic Workshop on Programming Theory, Technical report 254/2011, 21–23, Mälardalen Real-Time Research Centre, 2011.

Abstract:

In recent years, there has been a trend of moving away from the traditional client-server model in network software towards peer-to-peer networks and other many-to-many relations. Especially when it comes to large scale content transfer, peer-to-peer applications and protocols such as BitTorrent have become popular. It is therefore highly beneficial to have a thorough understanding of this communication paradigm, to uncover its potential weaknesses and recognise how to avoid them. We aim towards this goal by developing and analysing models of a peer-to-peer media distribution system, in which all the parts, from the network structure up to the content playback, have been formally modelled and verified. We have previously looked at and modelled different parts of such a system, and here we expand into modelling how peers could discover and interact with each other, i.e., inter-peer relations.

BibTeX entry:

@INPROCEEDINGS{inpPeSa11a,
  title = {Formal Modelling of Inter-Peer Relations in Peer-to-Peer Media Distribution Systems},
  booktitle = {Proceedings of the 23rd Nordic Workshop on Programming Theory},
  author = {Petre, Luigia and Sandvik, Petter},
  volume = {254/2011},
  series = {Technical report},
  editor = {Pettersson, Paul and Seceleanu, Cristina},
  publisher = {Mälardalen Real-Time Research Centre},
  pages = {21–23},
  year = {2011},
  keywords = {formal modelling, formal methods, peer-to-peer networks, network protocols, media distribution, Event-B},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication