Abstract
The need for the protocol conversion has been recognized with the proliferation of heterogeneous networks. From a formal viewpoint, we regard that problem as generating a protocol which satisfies the properties of the conversion. In this paper, we prove that, one can determine whether a converter exists, for some protocol classes, given protocols in the form of communicating finite automata, Moreover, we give a construction method for such a converter for those classes, and derive an upper bound of the computational complexity of the construction algorithm.
- 1 P. E. Green, Jr., "An introduction to protocol conversion," Proc. of the Pacific Computer Communications Symposium, pp.52-57, Seoul, October 21-25, 1985.Google Scholar
- 2 P. E. Green, Jr., "Protocol conversion," IEEE Trans. on Comm., Vol. COM-34, No. 3, March 1986.Google Scholar
- 3 I. Groenbeak, "Conversion between the TCP and transport protocols as a method of achieving interoperability between data communications systems," iE~~ Jour. of Sel. Areas in Comm. Vol. SAC4, No. 2, March 1986.Google Scholar
- 4 J. E. Hopcroft and J. D. Ullman, Formal Languages and Their Relation to Automata, Addison-Wesley, 1979. Google ScholarDigital Library
- 5 K. Ohta, "A formulation for protocol conversion method by automata model," Paper of Technical group of Automaton and Language in Institute of Electronics and Communication Engineers of Japan, AL83-39, November, 1984.Google Scholar
- 6 S. Shukuya, et al., "Study of OSI subset from the SNA-LU 6.2 functional viewpoint" (4P-7), K Yamaguchi, et al., "Study of a gateway which makes an SNA network an open system through OSI", (4P-8) and M. Shiohara, et al., "Protocol conversion between SNA LU 6.2 and OSI S/T layers", (4P-9); Papers presented at the 30th meeting of the Information Proc. Society of Japan, Tokyo, March, 1985.Google Scholar
Index Terms
- A formal protocol conversion method
Recommendations
A formal protocol conversion method
SIGCOMM '86: Proceedings of the ACM SIGCOMM conference on Communications architectures & protocolsThe need for the protocol conversion has been recognized with the proliferation of heterogeneous networks. From a formal viewpoint, we regard that problem as generating a protocol which satisfies the properties of the conversion. In this paper, we prove ...
Protocol Conversion
The problem of achieving communication between two processes across a network or an internetwork is considered. The notion of logical connectivity between processes in a protocol is formalized. The problem of constructing a protocol converter to achieve ...
Comments