VMTP: a transport protocol for the next generation of communication systems
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
ACM Transactions on Graphics (TOG)
Communications in the mercury system
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
A protocol conversion software toolkit
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Secure communication using remote procedure calls
ACM Transactions on Computer Systems (TOCS)
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
A protocol conversion software toolkit
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Synthesizing a Protocol Converter From Executable Protocol Traces
IEEE Transactions on Computers - Special issue on protocol engineering
Efficient gateway synthesis from formal specifications
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
A polynomial algorithm for gateway generation from formal specifications
IEEE/ACM Transactions on Networking (TON)
Increasing the portability and re-usability of protocol code
IEEE/ACM Transactions on Networking (TON)
Multi-subsystem protocol architectures: motivation and experience with an adapter-based approach
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Review paper: Synthesis of communications protocol converters: survey and assessment
Computer Communications
| Hi-index | 0.00 |
This paper describes a “toolkit” (a software function library) for synthesizing conversions between different transport interfaces. The method employed involves classifying these interfaces according to their “transport abstraction type.” Each actual interface is converted to or from a canonical form depending on its type, and the library also contains sufficient “abstraction converters” to convert between all of the canonical forms. The overall conversion is accomplished by combining some number of elementary conversions which execute in series. The paper describes the toolkit, contrasts it with other approaches, and shows how it can be used to solve various problems in protocol conversion and the “migration” of distributed services to new network contexts.