Mobile Networks and Applications

, Volume 2, Issue 3, pp 259–269

A formal method for synthesizing optimized protocol converters and its application to mobile data networks

  • Zhongping Tao
  • Gregor v. Bochmann
  • Rachida Dssouli
Article

DOI: 10.1023/A:1013692902855

Cite this article as:
Tao, Z., Bochmann, G.. & Dssouli, R. Mobile Networks and Applications (1997) 2: 259. doi:10.1023/A:1013692902855

Abstract

As mobile information networks are expanding rapidly, we expect to integrate voice, paging, electronic mail and other wireless information services. Interworking units that perform protocol conversion at the boundaries of different networks will play an important role. In this paper, we propose an efficient algorithm for constructing optimized protocol converters to achieve interoperability between heterogeneous data networks. This algorithm first derives constraints from two given protocols, and apply the constraints to channel specifications, thus removing message sequences that do not contribute to system progress. Then, an optimized converter is generated from a given service specification, the two protocol specifications and the modified channel specifications. A reduction relation is used to compare the service specification and the constructed internetworking system in order to deal with the problem of nondeterministic services. Compared with related works, our method has two advantages: (1) it generates an optimized converter; (2) it can be applied to the case that the service specification is nondeterministic. The application of the method to mobile networks is given by an example.

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Zhongping Tao
    • 1
  • Gregor v. Bochmann
    • 2
  • Rachida Dssouli
    • 2
  1. 1.Nortel TechnologyOttawaCanada
  2. 2.Département d'Informatique et de Recherche OperationnelleUniversité de MontréalMontréalCanada

Personalised recommendations