DocumentCode
3298689
Title
Constructing protocol converters from service specifications
Author
Yao, Yow-Wei ; Liu, Ming T.
Author_Institution
IBM Corp., Austin, TX, USA
fYear
1992
fDate
9-12 Jun 1992
Firstpage
344
Lastpage
351
Abstract
A four-step algorithm for constructing a protocol converter using the top-down approach is proposed. The algorithm involves construction of a system graph from the required service specification and the service specifications of the target protocols; construction of a service converter and new protocols services from the constructed system graph modification of the given protocols entities, to support the new service specifications, and derivation of a final converter by integrating the service converter and the constructed protocol entities. The protocol converter is guaranteed not only to satisfy the conformity property, but also to be free from deadlock and livelock
Keywords
conformance testing; formal specification; protocols; conformity property; four-step algorithm; protocol convertors construction; service specifications; top-down approach; Automation; Humans; Image converters; Information science; Protocols; Safety; System recovery; USA Councils;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1992., Proceedings of the 12th International Conference on
Conference_Location
Yokohama
Print_ISBN
0-8186-2865-0
Type
conf
DOI
10.1109/ICDCS.1992.235022
Filename
235022
Link To Document