A top-down method for synthesizing optimized protocol converters

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.<
>