摘要
CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。
CPN is one kind of graphics-oriented language, which has been widely used in simulation or verification systems, especially in complex distributed systems. This paper briefly introduced 2-phrase commit protocol in distributed transaction processing protocol, and proposed a novel approach for modelling and analysing 2-phrase-committing protocol, which is based on CPN. Modelling process and model-based verification methods of 2-phrase commit protocol has been fully discussed. The simulation result of the model is manifestly and intuitively analysed, which provides a visual representation of the conformity of 2-phrase commit protocol. Using CPN model to analyse the performance of 2-phrase commit protocol is a new means for further studying 2-phrase commit protocol.
出处
《计算机应用与软件》
CSCD
2009年第6期210-212,252,共4页
Computer Applications and Software
关键词
两阶段提交协议
CPN
分布式系统
2-phase commit protocol Coloured Petri Net （CPN） Distributed systems
