Synthesizing communication protocol converter: a model and method

Authors:
Z. P. Tao;M. Goossens
Affiliations:
Free University of Brussels, Pleinaan 2, 1050 Brussels, Belgium;Free University of Brussels, Pleinaan 2, 1050 Brussels, Belgium
Venue:
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Year:
1992

Citing 3
Cited 2

Transformations and decompositions of nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Deriving a protocol converter: a top-down method

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
An approach to indirect protocol conversion

Computer Networks and ISDN Systems - Managing complexity: protocols and reliability

Design and validation of a message-passing system

IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Review paper: Synthesis of communications protocol converters: survey and assessment

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

A method for synthesizing a protocol converter with a High Level Petri Net (HLPN) model will be presented in this paper. The services provided by the underlying protocols will first be converted, and then the protocol converter will be derived from the service converter and the specifications of the protocols by Petri net transformation. The advantages of the method will be discussed.