Formal methods for protocol conversion

Consideration is given to ways of overcoming a protocol mismatch using protocol conversion. Three different methods for finding a protocol converter are described. Two of these are bottom up in nature, and involve relating the conversion system to existing protocols. The third approach, which is new...

Full description

Saved in:
Bibliographic Details
Published in:IEEE journal on selected areas in communications 1990-01, Vol.8 (1), p.127-142
Main Authors: Calvert, K.L., Lam, S.S.
Format: Article
Language:English
Subjects:
Access methods and protocols, osi model
Applied sciences
Calculus
Communication networks
Computer architecture
Context
Convergence
Exact sciences and technology
Manufacturing
Protocols
Standards development
Telecommunications
Telecommunications and information theory
Teleprocessing networks. Isdn
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Consideration is given to ways of overcoming a protocol mismatch using protocol conversion. Three different methods for finding a protocol converter are described. Two of these are bottom up in nature, and involve relating the conversion system to existing protocols. The third approach, which is new, is top down: the desired global properties of the conversion system are used in deriving the converter. An example is used to illustrate each method. The authors discuss more general forms of the abstract problem in the context of layered network architectures.< >
ISSN:0733-8716
1558-0008
DOI:10.1109/49.46852