摘要
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.
出处
《计算机工程与科学》
CSCD
北大核心
2010年第4期83-85,92,共4页
Computer Engineering & Science
基金
国家973计划资助项目(2005CB321800)
关键词
抽象状态机
CHORD协议
抽象状态机语言
有限状态机
abstract state machine,Chord protocol
abstract state machine language
finite state machine