基于CPN的两阶段提交协议建模  

MODELLING 2-PHRASE COMMIT PROTOCOL BASED ON COLOURED PETRI NET

作　　者：朱连章[1] 李青[1] 

机构地区：[1]中国石油大学计算机与通信工程学院,山东东营257061

出　　处：《计算机应用与软件》2009年第6期210-212,252,共4页Computer Applications and Software

摘　　要：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.

关 键 词：两阶段提交协议 CPN 分布式系统 

分 类 号：TP311.133[自动化与计算机技术—计算机软件与理论] TP391.9[自动化与计算机技术—计算机科学与技术]