| 基于CPN的两阶段提交协议建模 |
| |
| 引用本文： | 朱连章,李青.基于CPN的两阶段提交协议建模[J].计算机应用与软件,2009,26(6):210-212,252. |
| |
| 作者姓名： | 朱连章 李青 |
| |
| 作者单位： | 中国石油大学计算机与通信工程学院,山东,东营,257061 |
| |
| 摘 要： | CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。
|
| 关 键 词： | 两阶段提交协议 CPN 分布式系统 |
MODELLING 2-PHRASE COMMIT PROTOCOL BASED ON COLOURED PETRI NET |
| |
| Zhu Lianzhang,Li Qing.MODELLING 2-PHRASE COMMIT PROTOCOL BASED ON COLOURED PETRI NET[J].Computer Applications and Software,2009,26(6):210-212,252. |
| |
| Authors: | Zhu Lianzhang Li Qing |
| |
| Affiliation: | College of Computer and Communication Engineering;China University of Petroleum;Dongying 257061;Shandong;China |
| |
| Abstract: | 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 ma... |
| |
| Keywords: | CPN |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
