Paper Info
Title
Scalable CP-nets modeling for BitTorrent protocol
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.
Year
DOI
Venue
2011
10.1145/1982185.1982302
ACM Symposium on Applied Computing
Keywords
Field
DocType
colored petri net,integrated model analysis process,scalable cp-nets model,basic protocol functionalities,generating scalable formal model,scalable cp-nets modeling,bit-torrent protocol,bittorrent protocol,file sharing scenario,file sharing process,cp-nets model,bittorrent,file sharing
Computer science,Colored petri,Computer network,BitTorrent,File sharing,Scalability,Distributed computing
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Jing Liu1386.48
Haibo Wu27613.61
Xinming Ye35211.62
Jun Li49854.54