A Formal Model of OSI X.25/FR Gateway Based on High Level Petri Net

作     者：潘理 

作者机构：Department of Electronic Engineering Shanghai Jiaotong University Shanghai 200030 China 

出 版 物：《High Technology Letters》 (高技术通讯（英文版）)

年 卷 期：2001年第7卷第3期

页      面：33-36页

核心收录：

学科分类：0810[工学-信息与通信工程] 08[工学] 081001[工学-通信与信息系统] 

基　　金：the 95’NationalDefenseProjectofChina( 31.1.2 .3) 

主　　题：Internetworking Gateway Protocol conversion Petri net 

摘      要：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.