Title :
A synchronization model for protocol conversion
Author :
Shu, J.C. ; Liu, Ming T.
Author_Institution :
Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Abstract :
A formal model is presented to analyze two aspects of conversion problems: translation and synchronization. The purpose of the translation is to map messages in one protocol to those in another protocol, whereas the synchronization is to hold matched messages for carrying out the translation. An algorithm is given to construct a valid converter. The algorithm is low in space complexity, and yields a converter with several merits: concurrent processing, easy debugging, minimum work on development, and easy implementation for half-gateways
Keywords :
protocols; synchronisation; algorithm; concurrent processing; debugging; formal model; half-gateways; protocol conversion; synchronization model; translation; Access protocols; Automata; Computer architecture; Computer networks; Contracts; Debugging; Guidelines; Image converters; Information science; Mouth;
Conference_Titel :
INFOCOM '89. Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies. Technology: Emerging or Converging, IEEE
Conference_Location :
Ottawa, Ont.
Print_ISBN :
0-8186-1920-1
DOI :
10.1109/INFCOM.1989.101466
