A formal model of OSI X. 25/FR gateway based on high level Petri Net

Pan Li,Gu Shangjie Zhu Hongwen
2001-01-01
Abstract:Specification and validation of protocol conversion in a gateway is a difficult problem in protocol engineering. During design and implementation of an OSI X.25 /FR gateway, a high-level Petri Net called EPr/TN is introduced as a formal specification tool to solve this problem. A formal model of the gateway is constructed by using Epr/TN. Based on this model, the process of protocol conversion and data transmission in the gateway are analyzed and validated. With object-oriented techniques, this model is also utilized in the software development of the gateway.
What problem does this paper attempt to address?