计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2009年
6期
210-212,252
,共4页
两阶段提交协议%CPN%分布式系统
兩階段提交協議%CPN%分佈式繫統
량계단제교협의%CPN%분포식계통
CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统.简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性.利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段.
CPN(Colored Petri Net)是一種麵嚮圖形的語言,用來倣真和驗證繫統,尤其適用于複雜的分佈式繫統.簡單介紹分佈式事務處理協議中的兩階段提交協議,提齣一種基于CPN的兩階段提交協議建模和分析方法,完整闡述兩階段提交協議的建模過程和模型驗證方法,清晰直觀地分析模型的倣真結果,形象地錶現兩階段提交協議的一緻性.利用CPN模型對兩階段提交協議性能的分析,為進一步研究兩階段提交協議提供瞭一種新的手段.
CPN(Colored Petri Net)시일충면향도형적어언,용래방진화험증계통,우기괄용우복잡적분포식계통.간단개소분포식사무처리협의중적량계단제교협의,제출일충기우CPN적량계단제교협의건모화분석방법,완정천술량계단제교협의적건모과정화모형험증방법,청석직관지분석모형적방진결과,형상지표현량계단제교협의적일치성.이용CPN모형대량계단제교협의성능적분석,위진일보연구량계단제교협의제공료일충신적수단.
