[1] Shen Jun, Huang Yuan, Song Jinjing,. A formal description method for P2P network models [J]. Journal of Southeast University (English Edition), 2009, 25 (1): 36-40. [doi:10.3969/j.issn.1003-7985.2009.01.009]
Copy
A formal description method for P2P network models(
)
P2P网络模型的形式化描述方法
)Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]
- Volumn:
- 25
- Issue:
- 2009 1
- Page:
- 36-40
- Research Field:
- Computer Science and Engineering
- Publishing date:
- 2009-03-30
Info
- Title:
- A formal description method for P2P network models
- P2P网络模型的形式化描述方法
- Author(s):
- Shen Jun; Huang Yuan; Song Jinjing
- School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
- Keywords:
- peer-to-peer; communicating sequential processes(CSP); component-based thought; interaction
- PACS:
- TP393
- DOI:
- 10.3969/j.issn.1003-7985.2009.01.009
- Abstract:
- To meet the requirements of modeling the new modality of peer-to-peer(P2P)network applications which have been rapidly developing in the Internet recently, a formal description method for modeling multiparty concurrent network interactions is studied.The main characteristics and the classifications of P2P systems are discussed.Considering the requirements of P2P application modeling and referring to the component-based modeling thought, a description method based on communicating sequential processes(CSP)is proposed for the P2P network models.By using a CSP process group, this method can describe the dynamic interactive relationship which focuses on multiparty concurrent interaction of P2P systems more advantageously and accurately.The application of nondeterministic semantemes of CSP in describing the interactive relationship of P2P networks is discussed.The advantages and description abilities of the proposed method are demonstrated through the modeling of a new P2P media-on-demand system.
- 为了更好地适应对Internet中迅速发展的新形态P2P网络应用进行建模的需求, 深入研究了适于描述多方并发网络交互的形式化建模方法.首先, 对P2P网络系统模型的各项特征及其分类进行了探讨.然后, 参照构件化建模的研究思路, 基于对P2P应用建模需求的分析, 提出了一种运用通信顺序进程(CSP)进行描述的P2P网络应用的形式化描述方法.借助CSP进程组表示, 该方法能够更为方便精确地描述P2P系统中以多方交互为主的动态交互关系, 探讨了CSP非确定性语义在P2P交互建模中的应用.最后通过一个新型P2P媒体点播系统的实例展示了以上描述方法的应用, 验证了该方法在描述并行交互关系等方面的能力.
References:
[1] Fox G.Peer-to-peer networks[J].Web Computing, 2001, 3(3):75-77.
[2] Napster LLC.Napster [EB/OL].(2007-12-11)[2008-04-30].http://www.napster.com/about-napster.html.
[3] P2P Group. Peer 2 peer—file-sharing.[EB/OL].(2008-03-01)[2008-04-30].http://www.peertopeer.org.
[4] Yang Peng, Wu Jiagao.An interaction based service oriented model of network architecture[J].Acta Electronica Sinica, 2005, 33(5):804-809.(in Chinese)
[5] Nenad M, Richard N T.A classification and comparison framework for software architecture description languages[J].IEEE Transactions on Software Engineering, 2000, 26(1):70-93.
[6] Hoare C.Communicating sequential processes[M].Englewood Cliffs:Prentice Hall International, 1985:21-87.
[7] Yang Peng, Liu Ye.Interaction-based network service architecture description language[J].Journal of Southeast University:Natural Science Edition, 2006, 36(5):685-689.(in Chinese)
[8] Huang Yuan, Shen Jun, Song Jinjing.The research of multiparty-application modeling supported network architecture description method [C]//Proceedings of International Symposium on Advances in Computer and Sensor Networks and Systems. Salt Lake City:Aardvark Global Publishing, 2008:124-130.
[9] Mark Gaynor, Scott Bradner.A real options framework to value network, protocol and service architecture [J].Computer Communications Review, 2004, 34(5):31-38.
[10] Fang Qun, Wang Min, Ji Yi.Design and implementation of media on demand server based on RTSP/RTP[J].Computer Engineering and Design, 2006, 27(1):4-6.(in Chinese)
[11] Castro Miguel, Druschel P, Hu Y Charlie, et al.Topology-aware routing in structured peer-to-peer overlay networks [EB/OL].(2003-08-15)[2008-04-30].http://www.research.microsoft.com.
[12] Rowstron Antony, Druschel Peter.Pastry:scalable, decentralized object location and routing for large-scale peer-to-peer systems[C]//18th IFIP/ACM Intl Conf on Distributed Systems Platforms.Springer-Verlag, 2001:329-350.
[13] Clark D, Tennenhouse D.Architectural considerations for a new generation of protocol [C]//Proc ACMSIG-COMM.New York, NY, USA:ACM.1990:200-208.
[14] Mahajan R, Castro M, Rowston A.Controlling the cost of reliability in peer-to-peer overlays[C]//Proc of the 2nd Intl Workshop on Peer-to-Peer Systems(IPTPS 2003). Springer-Verlag, 2003:368-374.
[15] Zegura E, Calvert K L, Bhattacharjee S.How to model an internetwork[C]//Proc of the IEEE Infocom’96. San Francisco:IEEE Computer Society Press, 1996:594-602.
Memo
- Memo:
-
Biography: Shen Jun(1963—), male, professor, junshen@seu.edu.cn.
Foundation item: The National Basic Research Program of China(973 Program)(No.2003CB314801, 2009CB320501).
Citation: Shen Jun, Huang Yuan, Song Jinjing.A formal description method for P2P network models[J].Journal of Southeast University(English Edition), 2009, 25(1):36-40.