In: Journal of Systems and Software, Vol. 47, No. 1, pages 53-69. 1999.
Abstract: The proliferation of heterogeneous, distributed computer networks has led to an urgent need for constructing reliable and efficient communication protocol converter, to facilitate the internetworking between such networks. Most existing converter design methods are based on the communicating finite state machine (CFSM) model as the formal description technique to describe the protocols, their services and the converter design. Two drawbacks of CFSM model are the state explosion problem and the inability of the model to express concurrent behaviors of protocols and services. These drawbacks may be overcome by using Petri nets as the formal description technique. Moreover, a reliable converter must perform its conversion functions in a timely manner satisfying the timing constraints of both protocol architectures. Our paper adopts the Timed Petri net (TPN) model to fulfill this requirement. The paper also highlights the dynamicity of the derived converter. We illustrate the converter design method using an example showing the dynamicity and timeliness features of the converter.
Keywords: communication protocol converters, formal methods, timed Petri nets.