Chord协议的抽象状态机模型

米海波; 王怀民; 尹刚

首页> 中文期刊> 《计算机工程与科学》 >Chord协议的抽象状态机模型

Chord协议的抽象状态机模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程与科学》 |2010年第4期|83-8592|共4页
作者
米海波; 王怀民; 尹刚;
展开▼
作者单位

国防科学技术大学计算机学院;

湖南;

长沙;

410073;

国防科学技术大学计算机学院;

湖南;

长沙;

410073;

国防科学技术大学计算机学院;

湖南;

长沙;

410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.02;
关键词
抽象状态机; Chord协议; 抽象状态机语言; 有限状态机;

相似文献

中文文献
外文文献
专利

1. 协议通信有限状态机模型和协议Petri网模型的变换 [J] . 徐志农 . 暨南大学学报：自然科学与医学版 . 1993,第003期
2. 基于时间抽象状态机的AADL模型验证∗ [J] . 杨志斌 ,胡凯 ,赵永望 . 软件学报 . 2015,第002期
3. 网构软件模型中的抽象状态机设计 [J] . 张引 ,何浩 ,赵丽娜 . 浙江大学学报（工学版） . 2010,第005期
4. 基于Chord协议的混合P2P模型 [J] . 曾晓云 . 计算机工程 . 2010,第007期
5. Nova-BFT:一种支持多种故障模型的副本状态机协议 [J] . 王永剑 ,裴翔 ,李涛 . 计算机研究与发展 . 2011,第007期
6. 基于抽象状态机的网格系统设计和分析 [C] . 刘晖 ,李明禄 . 2003'全国软件与应用学术会议 . 2003
7. 基于抽象状态机模型的流媒体传输协议远程测试系统 [A] . 赵利民 . 2008

Chord协议的抽象状态机模型

摘要

著录项

相似文献

相关主题

期刊订阅