Review: Construction of protocol converters using formal methods

Authors:
Mohammad Peyravian;Chin-Tau Lea
Affiliations:
IBM Corp., Department E95, Building 673, PO Box 12195, Research Triangle Park, NC 27709, USA;School of Electrical Engineering, Georgia Institute of Technology, Atlanta, GA 30332, USA
Venue:
Computer Communications
Year:
1993

Citing 9
Cited 2

Protocol conversion—correctness problems

SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
A formal protocol conversion method

SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Deriving a protocol converter: a top-down method

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
Protocol Conversion

IEEE Transactions on Software Engineering
Networking of networks: interworking according to OSI

IEEE Journal on Selected Areas in Communications
Design principles for communication gateways

IEEE Journal on Selected Areas in Communications
Formal methods for protocol conversion

IEEE Journal on Selected Areas in Communications
Conversion Between the TCP and ISO Transport Protocols as a Method of Achieving Interoperability Between Data Communications Systems

IEEE Journal on Selected Areas in Communications

Review paper: Synthesis of communications protocol converters: survey and assessment

Computer Communications
Design of simplified protocol converters through protocol complementation

Computer Communications

Quantified Score

Hi-index	0.24

Visualization

Abstract

Protocol conversion has been recognized as a way to achieve interoperability between distinct networks that implement incompatible protocols. First, we discuss the architectural issues faced in the design of a protocol conversion system. Consistent definitions of the models and terms used for protocol conversion and specification are also provided. Furthermore, we describe current formal protocol conversion methodologies, analyse their underlying concepts, and present examples to illustrate the issues related to each method. Moreover, open problems specific to each approach are addressed. Finally, we identify some general factors which have not yet been considered, and speculate about new directions and more effective methods.