|
|
Modeling Click-to-Dial Service with Petri Nets |
Zhu Xiao-min①; Liao Jian-xin①; Wang Peng②; Wang Jian-bin③ |
①State Key Lab of Networking and Switching, Beijing University of Posts and Telecommunications, Beijing 100876, China; ②
Network Management and Maintenance Center, Tianjin Communications Corporation, Tianjin 300052, China;
③China Netcom Corporation Ltd., Beijing 100032, China |
|
|
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.
|
Received: 07 July 2004
|
|
|
|
|
|
|
|