计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2010年
4期
83-85,92
,共4页
抽象状态机%Chord协议%抽象状态机语言%有限状态机
抽象狀態機%Chord協議%抽象狀態機語言%有限狀態機
추상상태궤%Chord협의%추상상태궤어언%유한상태궤
abstract state machine%Chord protocol%abstract state machine language%finite state machine
P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进.本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并得到了该协议的有限状态机模型.本文的工作有助于分析、优化P2P协议.
P2P是構築于互聯網的大規模分佈計算協議,採用形式化方法對P2P協議的本質原理進行分析,將有助于P2P協議的優化和改進.本文採用抽象狀態機(ASM)對經典P2P協議Chord進行分析,用基于抽象狀態機語言(Asml)對其建模,設計瞭覈心運行規則,併得到瞭該協議的有限狀態機模型.本文的工作有助于分析、優化P2P協議.
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.
