Chord协议的抽象状态机模型

• 作者: 尹刚 王怀民 米海波
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 抽象状态机 Chord协议 抽象状态机语言 有限状态机
• 年，卷（期）: 2010,（4）
• 所属期刊栏目: 分布式计算
• 页码范围: 83-85,92
• 页数: 4页
• 分类号: TP393.02
• 字数: 2800字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.04.023

摘要

P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进.本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并得到了该协议的有限状态机模型.本文的工作有助于分析、优化P2P协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王怀民	国防科学技术大学计算机学院	119	3450	29.0	56.0
2	尹刚	国防科学技术大学计算机学院	28	633	8.0	25.0
3	米海波	国防科学技术大学计算机学院	6	59	2.0	6.0