DocumentCode
2988291
Title
Generation of proper adapters and converters from a formal service specification
Author
Okumura, Kaoru
Author_Institution
IBM Res., Tokyo, Japan
fYear
1990
fDate
3-7 Jun 1990
Firstpage
564
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/INFCOM.1990.91296
Filename
91296
Link To Document