[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(
)
)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
- 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.
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.