用Petri網(wǎng)對點(diǎn)擊撥號業(yè)務(wù)的建模
Modeling Click-to-Dial Service with Petri Nets
-
摘要: 該文提出一種將協(xié)議轉(zhuǎn)換方法學(xué)和Petri網(wǎng)理論相結(jié)合來研究應(yīng)用層協(xié)議轉(zhuǎn)換的新方法。按照協(xié)議轉(zhuǎn)換方法學(xué)的流程，對IIN(Internet Intelligent Network)模型中的點(diǎn)擊撥號(CTD)業(yè)務(wù)進(jìn)行分析。在用Petri網(wǎng)對CTD業(yè)務(wù)的建模過程中提煉出通用的Petri網(wǎng)模型協(xié)議轉(zhuǎn)換耦合原則，豐富了協(xié)議轉(zhuǎn)換方法學(xué)的內(nèi)容。利用Petri網(wǎng)的分析能力分析了CTD業(yè)務(wù)協(xié)議轉(zhuǎn)換模型的特性，達(dá)到了檢錯(cuò)糾錯(cuò)的目的。 在該方法的指導(dǎo)下開發(fā)了業(yè)務(wù)控制網(wǎng)關(guān)(SCGF)和CTD業(yè)務(wù)，證明了這種新方法的可行性和適用性。Abstract: A new method combining the protocol conversion methodology and the Petri nets theory is proposed to study application layer protocol conversion. According to the procedure proposed by the protocol conversion methodology, the Click-To-Dial (CTD) service in the Internet Intelligent Network (IIN) model is analyzed. From the modeling experiences of CTD service with Petri nets, universal coupling criteria of Petri nets model of protocol conversion are abstracted, which enrich the protocol conversion methodology. Protocol conversion model of CTD service is analyzed with analysis techniques of Petri nets and its errors are checked and corrected. A Service Control Gateway Function (SCGF) and CTD service have been developed under the guide of this new method, which is proved viable and applicable.
-
計(jì)量
- 文章訪問數(shù): 2222
- HTML全文瀏覽量: 56
- PDF下載量: 674
- 被引次數(shù): 0
下載:
