ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Synthesizing communication protocol converter: a model and method
Full text PdfPdf (750 KB)
Source ACM Annual Computer Science Conference archive
Proceedings of the 1992 ACM annual conference on Communications table of contents
Kansas City, Missouri, United States
Pages: 17 - 24  
Year of Publication: 1992
ISBN:0-89791-472-4
Authors
Z. P. Tao  Free University of Brussels, Pleinaan 2, 1050 Brussels, Belgium
M. Goossens  Free University of Brussels, Pleinaan 2, 1050 Brussels, Belgium
Sponsor
ACM: Association for Computing Machinery
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 4,   Downloads (12 Months): 9,   Citation Count: 1
Additional Information:

abstract   references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/131214.131216
What is a DOI?

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.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
G. Berthelot, Transformations and decompositions of nets, Advances in Petri nets 1986, part I on Petri nets: central models and their properties, p.359-376, January 1987, Bad Honnef
 
2
Kenneth. L. CALVERT & Simon S. LAM "Formal Methods for Protocol Conversion" IEEE Journal on Selected Areas in Communication, Vol.8 No.l, 1990.
 
3
Gregor v. BOCHMANN " Design Principles for Communication Gateways" IEEE Journal on Selected Areas in Communication, Vol.8 No.l, 1990.
4
K. L. Calvert , S. S. Lam, Deriving a protocol converter: a top-down method, Symposium proceedings on Communications architectures & protocols, p.247-258, September 25-27, 1989, Austin, Texas, United States
 
5
J. C. Shu & M. T. Liu " A Synchronization Model for Protocol Conversion " in Proc. IEEE INFOCOM '89.
 
6
J. C. Shu , Ming T. Liu, An approach to indirect protocol conversion, Computer Networks and ISDN Systems, v.21 n.2, p.93-108, April 1991  [doi>10.1016/0169-7552(91)90100-Q]
 
7
Z.P. Tao, M. Goossens " Parameter Concepts of Petri Net Transformation " in Proceedings of the IMACS- IFAC Symposium on Parallel and Distributed Computing in Engineering Systems, June, 1991.
 
8
K.Jensens " Coloured Petri Nets and the Invariantmethod " Theoret. Comput. sci., vol. 14, 1981.

CITED BY
Fuyau Lin, Design and validation of a message-passing system, Proceedings of the 7th international workshop on Software specification and design, December 06-07, 1993, Redondo Beach, California

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Modeling techniques

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING


General Terms:
Algorithms, Theory

Collaborative Colleagues:
Z. P. Tao: colleagues
M. Goossens: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player