A formal protocol conversion method

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.

REFERENCES

• 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.
• 2: P. E. Green, Jr., "Protocol conversion," IEEE Trans. on Comm., Vol. COM-34, No. 3, March 1986.
• 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.
• 4: John E. Hopcroft , Jeffrey D. Ullman, Formal languages and their relation to automata, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1969
• 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.
• 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.

INDEX TERMS

Classification:
  C. Computer Systems Organization
  C.1 PROCESSOR ARCHITECTURES
  C.2 COMPUTER-COMMUNICATION NETWORKS

General Terms:
Design, Standardization, Verification