Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Modelling BitTorrent-Like Stre...

Modelling BitTorrent-Like Streaming Piece Selection with Event-B

Petter Sandvik, Kaisa Sere, Marina Waldén, Modelling BitTorrent-Like Streaming Piece Selection with Event-B. In: Marina Waldén, Luigia Petre (Eds.), Proceedings of the 22nd Nordic Workshop on Programming Theory, General Publication 57, 82–84, TUCS, 2010.

Abstract:

There is a trend in moving services and applications away from the one-to-many relationship of the traditional client-server model towards many-to-many relations such as cloud-based services and peer-to-peer networks. These latter two form a part of the “utility computing vision” in which computer services are accessed without needing to know the specific underlying structure. Because of this, there is a need for a model of how a reliable node could work in such a network that transfers content between nodes. For large-scale data transfer, such as installation media for operating systems and data files for multiplayer games, peer-to-peer file sharing technologies such as BitTorrent have become important. However, the out-of-order nature of BitTorrent file transfers have made them unsuitable for streaming media applications. We have presented an approach for solving this problem, and in this paper we describe a structured formal model, from the more general node in a content transfer network to the more specific one of our approach, using the Event-B formalism.

BibTeX entry:

@INPROCEEDINGS{inpSaSeWa10a,
  title = {Modelling BitTorrent-Like Streaming Piece Selection with Event-B},
  booktitle = {Proceedings of the 22nd Nordic Workshop on Programming Theory},
  author = {Sandvik, Petter and Sere, Kaisa and Waldén, Marina},
  volume = {57},
  series = {General Publication},
  editor = {Waldén, Marina and Petre, Luigia},
  publisher = {TUCS},
  pages = {82–84},
  year = {2010},
  keywords = {peer-to-peer networks, network protocols, formal methods, Event-B, refinement},
}

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

Edit publication