P2P网络模型的形式化描述方法

• 作者: 宋金晶 沈军 黄元
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: P2P 通信顺序进程 构件化思想 交互
• 年，卷（期）: 2009,（1）
• 页码范围: 36-40
• 页数: 5页
• 分类号: TP393
• 字数: 552字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2009.01.009

摘要

为了更好地适应对Intemet中迅速发展的新形态P2P网络应用进行建模的需求,深入研究了适于描述多方并发网络交互的形式化建模方法.首先,对P2P网络系统模型的各项特征及其分类进行了探讨.然后,参照构件化建模的研究思路,基于对P2P应用建模需求的分析,提出了一种运用通信顺序进程(CSP)进行描述的P2P网络应用的形式化描述方法.借助CSP进程组表示,该方法能够更为方便精确地描述P2P系统中以多方交互为主的动态交互关系,探讨了CSP非确定性语义在P2P交互建模中的应用.最后通过一个新型P2P媒体点播系统的实例展示了以上描述方法的应用,验证了该方法在描述并行交互关系等方面的能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈军	东南大学计算机科学与工程学院	33	341	9.0	17.0
2	黄元	东南大学计算机科学与工程学院	1	1	1.0	1.0
3	宋金晶	东南大学计算机科学与工程学院	1	1	1.0	1.0