用Petri网对点击拨号业务的建模
Modeling Click-to-Dial Service with Petri Nets
-
摘要: 该文提出一种将协议转换方法学和Petri网理论相结合来研究应用层协议转换的新方法。按照协议转换方法学的流程,对IIN(Internet Intelligent Network)模型中的点击拨号(CTD)业务进行分析。在用Petri网对CTD业务的建模过程中提炼出通用的Petri网模型协议转换耦合原则,丰富了协议转换方法学的内容。利用Petri网的分析能力分析了CTD业务协议转换模型的特性,达到了检错纠错的目的。 在该方法的指导下开发了业务控制网关(SCGF)和CTD业务,证明了这种新方法的可行性和适用性。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.
计量
- 文章访问数: 2212
- HTML全文浏览量: 53
- PDF下载量: 674
- 被引次数: 0