|
|||||
|
|
| P2P网络模型的形式化描述方法(英文) | |
| 引用本文： | 沈军,黄元,宋金晶.P2P网络模型的形式化描述方法(英文)[J].东南大学学报,2009,25(1). |
| 作者姓名： | 沈军 黄元 宋金晶 |
| 作者单位： | 东南大学计算机科学与工程学院,南京,210096 |
| 基金项目： | 国家重点基础研究发展规划(973计划) |
| 摘 要： | 为了更好地适应对Intemet中迅速发展的新形态P2P网络应用进行建模的需求,深入研究了适于描述多方并发网络交互的形式化建模方法.首先,对P2P网络系统模型的各项特征及其分类进行了探讨.然后,参照构件化建模的研究思路,基于对P2P应用建模需求的分析,提出了一种运用通信顺序进程(CSP)进行描述的P2P网络应用的形式化描述方法.借助CSP进程组表示,该方法能够更为方便精确地描述P2P系统中以多方交互为主的动态交互关系,探讨了CSP非确定性语义在P2P交互建模中的应用.最后通过一个新型P2P媒体点播系统的实例展示了以上描述方法的应用,验证了该方法在描述并行交互关系等方面的能力. |
| 关 键 词： | 通信顺序进程 构件化思想 交互 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |