A top-down method for synthesizing optimized protocol converters

Author

Tao, Z.P. ; Bochmann, G. ; Dssouli, R.

Author_Institution

Dept. d´´Inf. et de Recherche Oper., Montreal Univ., Que., Canada

fYear

1995

fDate

28-31 Mar 1995

Firstpage

270

Lastpage

276

Abstract

In this paper, we propose a top-down method for constructing optimized protocol converters to achieve interoperability between heterogeneous computer networks. This method first generates a converter from a given service specification of the internetworking system and two protocol specifications, based on two important concepts: controllability and observability. The reduction relation is used to compare the desired service specification and the internetworking system. Then an algorithm is developed for optimizing the converter. Compared with related works reported earlier, our method has two advantages: (1) It generates an optimized converter; and (2) the service specification for internetworking systems may be nondeterministic

Keywords

computer networks; controllability; internetworking; observability; open systems; protocols; controllability; heterogeneous computer networks; interoperability; observability; optimized protocol converters; service specification; top-down method; Computer networks; Controllability; Decision support systems; Observability; Optimization methods; Protocols; Safety; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Computers and Communications, 1995., Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on

Conference_Location

Scottsdale, AZ

Print_ISBN

0-7803-2492-7

Type

conf

DOI

10.1109/PCCC.1995.472481

Filename

472481