Title :
Generation of proper adapters and converters from a formal service specification
Author_Institution :
IBM Res., Tokyo, Japan
Abstract :
An efficient approach is described for solving a protocol conversion problem by a formal method. It is assumed that protocol entities are modeled by automata and that the required services of the conversion system are known. It is shown that an adapter can be generated if and only if an adapter exists. A method for verifying the liveness of the conversion system is examined, and it is used to construct a proper converter that has desirable properties, such as bounded queues, and deadlock- and unspecified-reception-free properties, from a conversion system with an adapter
Keywords :
computer networks; finite automata; protocols; adaptor generation; bounded queues; computer networks; convertor generation; deadlock-free properties; finite state machine model; formal service specification; protocol conversion; unspecified-reception-free properties; Automata; Communication systems; Computer architecture; Laboratories; Protocols; Queueing analysis; System recovery;
Conference_Titel :
INFOCOM '90, Ninth Annual Joint Conference of the IEEE Computer and Communication Societies. The Multiple Facets of Integration. Proceedings, IEEE
Conference_Location :
San Francisco, CA
Print_ISBN :
0-8186-2049-8
DOI :
10.1109/INFCOM.1990.91296
