Scalable CP-nets modeling for BitTorrent protocol
Authors: 
Jing Liu, Haibo Wu, Xinming Ye, Jun LiAuthors Info & Claims
Jing Liu, Haibo Wu, Xinming Ye, Jun LiAuthors Info & ClaimsPages 542 - 543
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.
References
[1]
Cohen, B. Incentives Build Robustness in BitTorrent. In Proceedings of the Workshop on Economics of Peer-to-Peer Systems. (Berkeley, CA, USA, Jun. 5--6, 2003). 2003, 1--5.
[2]
Jensen, K. and Kristensen, L. M. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, 2009.
[3]
Liu, J., Ye, X. M. and Sun, T. Towards Formal Modeling and Analysis of BitTorrent using Colored Petri Nets. In Proceedings of the CPN Workshop 2009. (Aarhus, Denmark, Oct. 19--21, 2009). CPN Group, 2009, 159~178.
[4]
CPN Tools. Online: http://wiki.daimi.au.dk/cpntools/cpntools.wiki.
Index Terms
- Scalable CP-nets modeling for BitTorrent protocol
Recommendations
CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol
SNPD '10: Proceedings of the 2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed ComputingIt is very risky to improve the performance of network protocols without the assurance of its functional correctness, especially for protocols that with complicated and concurrent behaviors. However, in most of current model based protocol engineering ...
Optimal scheduling of peer-to-peer file dissemination
Peer-to-peer (P2P) overlay networks such as BitTorrent and Avalanche are increasingly used for disseminating potentially large files from a server to many end users via the Internet. The key idea is to divide the file into many equally-sized parts and ...
Comments
Information & Contributors
Information
Published In
March 2011
1868 pages
ISBN:9781450301138
DOI:10.1145/1982185
- Conference Chairs:
- William Chu,
- W. Eric Wong,
- Program Chairs:
- Mathew J. Palakal,
- Chih-Cheng Hung
Copyright © 2011 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 21 March 2011
Check for updates
Author Tags
Qualifiers
- Poster
Funding Sources
- Natural Science Foundation of Inner Mongolia
- Important National Science & Technology Specific Projects of China
- National Natural Science Foundation of China
Conference
SAC'11
Sponsor:
Acceptance Rates
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 98Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Reflects downloads up to 10 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in