论文部分内容阅读
为了更好地适应对Internet中迅速发展的新形态P2P网络应用进行建模的需求,深入研究了适于描述多方并发网络交互的形式化建模方法.首先,对P2P网络系统模型的各项特征及其分类进行了探讨.然后,参照构件化建模的研究思路,基于对P2P应用建模需求的分析,提出了一种运用通信顺序进程(CSP)进行描述的P2P网络应用的形式化描述方法.借助CSP进程组表示,该方法能够更为方便精确地描述P2P系统中以多方交互为主的动态交互关系,探讨了CSP非确定性语义在P2P交互建模中的应用.最后通过一个新型P2P媒体点播系统的实例展示了以上描述方法的应用,验证了该方法在描述并行交互关系等方面的能力.
In order to better meet the requirements of modeling the rapid development of new P2P network applications in the Internet, the formal modeling method suitable for describing multi-party concurrent network interaction is deeply studied.Firstly, the characteristics of P2P network system model And its classification.Secondly, based on the research thought of component-based modeling and based on the analysis of P2P application modeling requirements, a formal description method of P2P network application described by CSP With CSP process group representation, this method can describe the dynamic interaction based on multiparty interaction in P2P system more conveniently and accurately, and discusses the application of CSP nondeterministic semantics in P2P interaction modeling.Finally, through a new P2P An example of a media on-demand system shows the application of the above described method and verifies the capability of the method in terms of parallel interactions.