DocumentCode
2449803
Title
P2P Behavior Description with p-Calculus
Author
Fu, Chen ; Jia-hai, Yang
Author_Institution
Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
fYear
2010
fDate
6-10 Dec. 2010
Firstpage
659
Lastpage
662
Abstract
Behavior analysis and modeling of network services is an important tool in helping to successfully manage network services. In this paper, we propose the methods to depict the behavior of P2P service. With the accurate behavior description, we can gain the exact service with high QoS guarantee. Using this algebra, designers can prove key aspects about the behavior of a proposed set of Internet services. We used the process algebra to design a P2P system and verify the QOS of the system we built.
Keywords
Internet; computer network management; peer-to-peer computing; pi calculus; quality of service; π-calculus; Internet service; P2P behavior description; P2P service; QoS guarantee; behavior analysis; network service management; network service modeling; process algebra; Algebra; Analytical models; Calculus; Fires; Peer to peer computing; Quality of service; Servers; Behavior analysis; P2P Behavior Modeling; network service;
fLanguage
English
Publisher
ieee
Conference_Titel
Services Computing Conference (APSCC), 2010 IEEE Asia-Pacific
Conference_Location
Hangzhou
Print_ISBN
978-1-4244-9396-8
Type
conf
DOI
10.1109/APSCC.2010.92
Filename
5708636
Link To Document