Chord协议的抽象状态机模型  

The Abstract State Machine Model of the Chord Protocol

作　　者：米海波[1] 王怀民[1] 尹刚[1] 

机构地区：[1]国防科学技术大学计算机学院,湖南长沙410073

出　　处：《计算机工程与科学》2010年第4期83-85,92,共4页Computer Engineering & Science

基　　金：国家973计划资助项目(2005CB321800)

摘　　要：P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进。本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并得到了该协议的有限状态机模型。本文的工作有助于分析、优化P2P协议。P2P is a large-scale distributed computing protocol based on the Internet. It is useful to optimize and improve the P2P protocol by analyzing its basic principles with formal methods. The paper analyses the chord protocol with Abstract State Machine （ASM） and uses the Asml language to build the ASM model. The paper also designs the core running rules of Chord and computes the finite state machine （FSM） of Chord. This work can help to analyze and optimize the P2P protocol.

关 键 词：抽象状态机 CHORD协议 抽象状态机语言 有限状态机 

分 类 号：TP393.02[自动化与计算机技术—计算机应用技术]