|Table of Contents|

Specification,Verification and Implementation of OSI X.2 5 / FR Gateway Based on High-level Petri Nets Shen Jinlong Pan L i(PDF)

《南京理工大学学报》(自然科学版)[ISSN:1005-9830/CN:32-1397/N]

Issue:
1998年06期
Page:
532-535
Research Field:
Publishing date:

Info

Title:
Specification,Verification and Implementation of OSI X.2 5 / FR Gateway Based on High-level Petri Nets Shen Jinlong Pan L i
Author(s):
Sun Yamin1
Department of Computer Science and Technology,NJUPT,Nanjing2 10 0 0 3)
Keywords:
netw or k inter connection gateway protocol Pet ri net EPr / TN net sy stem formal method
PACS:
TP393.02
DOI:
-
Abstract:
T he X. 25/ FR g atew ay is const ructed acco rding to the co rresponding OSI pr otoco ls. A hig h-level Pet ri net called EPr / TN net system is int roduced as a formal specification to ol to establish the system model o f the gatew ay . The specif icat ion, analysis and verification of the pro to col convert ion and data t ransmission ar e g iven. Based o n the model, the gatew ay is implemented.

References:

1 Rajag opal M, M iller E R. Synthesizing a pr oto col co nv ert er fr om ex ecuta ble pr ot ocol tr aces.IEEE T ransacitions on Computer , 1991, 40( 4) : 487~499
2 ISO/ IEC 8473. Info rmat ion techno lo gy —— Pro to co l fo r pr ov iding the connectionless-mode netw o rk serv ice: Pro to co l specification. Sw it zer la nd, 1994
3 ISO/ IEC 8648. Info rmat ion pr ocessing systems —— Open Sy st ems Inter connect ion-I nt ernal or ganization of the Netw or k Layer . Sw itzer land, 1988
4 袁祟义, 佩特里网. 南京: 东南大学出版社, 1989
5 顾冠群, 罗军舟. EPr / TN 网系统及网络协议形式描述技术. 计算机学报, 1994, 17( 增) : 93~96

Memo

Memo:
-
Last Update: 2013-03-29