DocumentCode
2492591
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
fYear
1998
fDate
22-24 Oct 1998
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Communication Technology Proceedings, 1998. ICCT '98. 1998 International Conference on
Conference_Location
Beijing
Print_ISBN
7-80090-827-5
Type
conf
DOI
10.1109/ICCT.1998.741272
Filename
741272
Link To Document