An algorithmic method for protocol conversion

An algorithmic method for constructing protocol converters to achieve interoperability between networks that implement incompatible protocols is presented. The converter constructed using this approach does not cause unspecified receptions or deadlocks if the original protocols are safe. The method is guaranteed to generate a valid converter if one exists for the given protocols, with the conversion requirements defined by an ordered mapping set. Since the approach consists of six algorithms, it can be automated, thereby substantially reducing the complexity of the converter construction process. A protocol conversion example involving incompatible protocols is used to illustrate the method