Title :
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
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;
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
DOI :
10.1109/PCCC.1995.472481
