Title :
Specification, verification and implementation of OSI X.25/FR gateway based on high-level Petri nets
Author :
Jinlong, Shen ; Li, Pan
Author_Institution :
Dept. of Comput. Sci. & Technol., Nanjing Univ. of Posts & Telecommun., China
Abstract :
The X.25/FR gateway is constructed according to the corresponding OSI protocols. A high-level Petri net called EPr/TN is introduced as a formal specification tool to establish the system model of the gateway. The specification, analysis and verification of the protocol conversion and data transmission are given. Based on the model, the gateway is implemented
Keywords :
Internet; Petri nets; formal specification; formal verification; open systems; protocols; EPr/TN; OSI X.25/FR gateway; OSI protocols; data transmission; formal specification; implementation; on high-level Petri nets; protocol conversion; specification; verification; Algorithm design and analysis; Circuits; Computer science; Data communication; Design methodology; Formal specifications; Open systems; Paramagnetic resonance; Petri nets; Protocols;
Conference_Titel :
Communication Technology Proceedings, 1998. ICCT '98. 1998 International Conference on
Conference_Location :
Beijing
Print_ISBN :
7-80090-827-5
DOI :
10.1109/ICCT.1998.741272
