Title :
P2P Behavior Description with p-Calculus
Author :
Fu, Chen ; Jia-hai, Yang
Author_Institution :
Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
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;
Conference_Titel :
Services Computing Conference (APSCC), 2010 IEEE Asia-Pacific
Conference_Location :
Hangzhou
Print_ISBN :
978-1-4244-9396-8
DOI :
10.1109/APSCC.2010.92
