WAP事務(wù)層協(xié)議的有色PETRI網(wǎng)建模與分析.pdf

1、WAP事務(wù)協(xié)議(WTP)作為WAP協(xié)議體系結(jié)構(gòu)中的一個(gè)重要部分，向會(huì)話層提供基于請(qǐng)求響應(yīng)的分布式事務(wù)服務(wù)。由于WAP論壇將WAP協(xié)議規(guī)范以自然語言的形式發(fā)布，這樣的好處是可讀性好，便于直觀上去理解。但是，要保證協(xié)議實(shí)現(xiàn)的一致、完整和正確就必須使用一種形式化的工具進(jìn)行描述和驗(yàn)證，這樣才能避免自然語言的二義性導(dǎo)致實(shí)現(xiàn)上的不一致。 Petri網(wǎng)作為一種圖形化的數(shù)學(xué)建模工具，特別適合于描述具有并發(fā)的、實(shí)時(shí)的、非確定性為特征的分布式離散系

2、統(tǒng)，有很多針對(duì)模型的分析方法來確定模型是否存在死鎖、并發(fā)沖突和資源競(jìng)爭(zhēng)等特征。有色Petri網(wǎng)作為一種高級(jí)網(wǎng)，在基本網(wǎng)的基礎(chǔ)上拓展了庫(kù)所和變遷的表達(dá)能力，從而可以簡(jiǎn)化網(wǎng)模型的結(jié)構(gòu)。 本文首先對(duì)事務(wù)協(xié)議做了詳細(xì)的分析，在此基礎(chǔ)上利用有色Petri網(wǎng)建模技術(shù)對(duì)事務(wù)處理過程中協(xié)議實(shí)體的狀態(tài)變化做了協(xié)議建模。并利用有色Petri網(wǎng)仿真工具CPN tools對(duì)協(xié)議模型進(jìn)行仿真分析，分析模型在給定的初始參數(shù)下，是否存在死鎖、活鎖以及否滿足有