Scalable CP-nets modeling for BitTorrent protocol

  • Authors:

  • Jing Liu;Haibo Wu;Xinming Ye;Jun Li

  • Affiliations:

  • Chinese Academy of Sciences, Beijing, China and Inner Mongolia University, Hohhot, China and Graduate University of Chinese Academy of Sciences, Beijing, China;Chinese Academy of Sciences, Beijing, China and Inner Mongolia University, Hohhot, China and Graduate University of Chinese Academy of Sciences, Beijing, China;Inner Mongolia University, Hohhot, China;Chinese Academy of Sciences, Beijing, China

  • Venue:
  • Proceedings of the 2011 ACM Symposium on Applied Computing
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Generating scalable formal models for the BitTorrent protocol facilitates specifying the protocol functionalities accurately, and analyzing the protocol behaviors efficiently. We have constructed a Colored Petri nets (CP-nets) model for the BitTorrent protocol, where basic protocol functionalities are modeled, and a file sharing scenario between two peers is analyzed [3]. However, that CP-nets model is difficult to extend for specifying more complicated scenarios, where more peers participate in the file sharing process. In this paper, a more scalable CP-nets model for the Bit-Torrent protocol is proposed, and the model is sufficiently validated through an integrated model analysis process.