Article

Free access

Deriving a protocol converter: a top-down method

Authors:

S. S. LamAuthors Info & Claims

SIGCOMM '89: Symposium proceedings on Communications architectures & protocols

Pages 247 - 258

https://doi.org/10.1145/75246.75271

Published: 01 August 1989 Publication History

Abstract

A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some form of useful interaction. The problem of deriving a protocol converter from specifications of the protocols and a desired service can be viewed as the problem of finding the “quotient” of two specifications. We define a class of finite-state specifications and present an algorithm for solving “quotient” problems for the class. The algorithm is applied to an example conversion problem. We also discuss its application in the context of layered network architectures.

References

[1]

K. A. Bartlett, R. A. Scantlebury, and P. T. Wilkinson. A note on reliable full-duplex transmission over half-duplex lines. Communications of the A CM, 12(5), May 1969.]]

Digital Library

[2]

E. Brinksma and G. Karjoth. A specification of the OSI transport service in LOTOS. in Protocol Specification, Verification, and Testing iV, 1984.]]

[3]

K. L. Calvert and Simon S. Lain. An exeTcise in deriving a protocol conversion. In Proceedings of SIGCOMM '87 Workshop, $towe, VT, 1987.]]

Digital Library

[4]

K. L. Calvert and Simon S. Lain. Finding quotients of specifications. Technical report, University of Texas at Austin, Department of Computer Sciences, in preparation.]]

[5]

David D. Clark, Mark L. Lambert, and Lixia Zhang. Netblt: A high throughput transport protocol. In Proceedings A CM $IGCOMM '87 Workshop, $tow~, VT, 1987.]]

Digital Library

[6]

J. Postel (ed.). Internet protocol specification. DARPA Internet Request for Comments 791, September 1981.]]

[7]

Paul E. Green, Jr. Protocol conversion. IEEE Transactions on Communicalions, COM-34(3), March 1986.]]

[8]

Matthew Hennessey. Algebraic Theory of Processes. MIT Press, 1988.]]

Digital Library

[9]

C. A. R. tIoare. Communicating Sequential Proeesses. Prentice-Hall, 1986.]]

[10]

ISO. Connection oriented transport protocol specification. ISO 8073-CCITT X.224, July 1986.]]

[11]

ISO. Transport service definition. ISO 8072- CCITT X.214, June 1986.]]

[12]

ISO/TC97/SC21/WG16-1. LOTOS ~ a formal description technique based on the temporal ordering of observational behavior, March 1985.]]

[13]

Simon S. Lain. Protocol conversion -- correctness problems. In Proceedings A CM $IGCOMM '86, $towe, VT, 1986.]]

Digital Library

[14]

Simon S. Lain. Protocol conversion. IEEE Transactions on Software Engineering, 14(3):353-362, March 1988.]]

Digital Library

[15]

Philip M. Merlin and Gregorv. Bochmann. On the construction of submodule specifications and communications protocols. A CM Transactions on Programming Languages and Systems, 5(1), Jan 1983.]]

Digital Library

[16]

D. Notkin, A. Black, E. Lazowska, H. Levy, J. Sanislo, and J. Zahorjan. Interconnecting heterogenous computer systems. Communications of the A CM, 31(3), 1988.]]

Digital Library

[17]

K. Okumura. A formal protocol conversion method. In Proceedings A CM $IGCOMM '86, Stowe, VT, 1986.]]

Digital Library

[18]

M. A. Padlipsky. Gateways, architectures, and heffalumps. DARPA Internet Request for Comments 875, September 1983.]]

Digital Library

[19]

Joachim Parrow. Submodule construction as equation solving in CCS. in LNC$ 287. Springer- Verlag, 1988]]

[20]

P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete-event processes. SlAM j. Control and Optimization, 25(1):206-230, January 1987.]]

Digital Library

Cited By

Delac GBudiselic IZuzak ISkuliber IStefanec T(2012)A Methodology for SIP and SOAP Integration Using Application-Specific Protocol ConversionACM Transactions on the Web10.1145/2382616.23826186:4(1-28)Online publication date: 1-Nov-2012
https://dl.acm.org/doi/10.1145/2382616.2382618
Issarny VBennaceur A(2012)Composing Distributed SystemsRevised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 786610.1007/978-3-642-40615-7_6(168-196)Online publication date: 24-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-40615-7_6
Nurilov SShanmugasundaram KMemon N(2006)Protocol Masking to Evade Network Surveillance2006 40th Annual Conference on Information Sciences and Systems10.1109/CISS.2006.286696(1467-1472)Online publication date: Mar-2006
https://doi.org/10.1109/CISS.2006.286696
Show More Cited By

Index Terms

Deriving a protocol converter: a top-down method
1. Computer systems organization
  1. Architectures
    1. Parallel architectures
      1. Interconnection architectures
2. Networks
  1. Network protocols
    1. Network protocol design

Recommendations

Deriving a protocol converter: a top-down method

A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some form of useful interaction. The problem of deriving a protocol converter from specifications of the protocols and a desired ...
A protocol converter for nonblocking protocols

A protocol converter must interface two communicating components if their protocols are incompatible. This paper presents a method to implement a protocol converter for nonblocking protocols since previous protocol converters insisted that both their ...
Deriving protocol specifications from service specifications written in LOTOS

A complete communication system is broken down into a number of protocol layers each of which provides services to the layer above it and uses services provided by its underlying layer. A service specification defines a particular ordering of the ...

Comments

comments powered by Disqus.

Information & Contributors

Information

Published In

SIGCOMM '89: Symposium proceedings on Communications architectures & protocols

August 1989

313 pages

ISBN:0897913329

DOI:10.1145/75246

Chairman:
Lawrence H. Landweber

ACM SIGCOMM Computer Communication Review Volume 19, Issue 4
Sep. 1989
311 pages
ISSN:0146-4833
DOI:10.1145/75247
Editor:
Craig Partridge
Bolt Beranek and Newman Inc., Cambridge, MA
Issue’s Table of Contents

Copyright © 1989 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGCOMM: ACM Special Interest Group on Data Communication

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGCOMM89

Sponsor:

SIGCOMM

SIGCOMM89: Communications Architectures & Protocols

September 25 - 27, 1989

Texas, Austin, USA

Acceptance Rates

Overall Acceptance Rate 462 of 3,389 submissions, 14%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

32
Total Citations
View Citations
611
Total Downloads

Downloads (Last 12 months)60
Downloads (Last 6 weeks)8

Reflects downloads up to 23 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Delac GBudiselic IZuzak ISkuliber IStefanec T(2012)A Methodology for SIP and SOAP Integration Using Application-Specific Protocol ConversionACM Transactions on the Web10.1145/2382616.23826186:4(1-28)Online publication date: 1-Nov-2012
https://dl.acm.org/doi/10.1145/2382616.2382618
Issarny VBennaceur A(2012)Composing Distributed SystemsRevised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 786610.1007/978-3-642-40615-7_6(168-196)Online publication date: 24-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-40615-7_6
Nurilov SShanmugasundaram KMemon N(2006)Protocol Masking to Evade Network Surveillance2006 40th Annual Conference on Information Sciences and Systems10.1109/CISS.2006.286696(1467-1472)Online publication date: Mar-2006
https://doi.org/10.1109/CISS.2006.286696
Auerbach J(2006)TACTIEEE Journal on Selected Areas in Communications10.1109/49.468538:1(143-159)Online publication date: 1-Sep-2006
https://dl.acm.org/doi/10.1109/49.46853
Calvert KLam S(2006)Formal methods for protocol conversionIEEE Journal on Selected Areas in Communications10.1109/49.468528:1(127-142)Online publication date: 1-Sep-2006
https://dl.acm.org/doi/10.1109/49.46852
Ural HZeng H(2005)Computer aided design of protocol convertersComputer Aided Systems Theory — CAST '9410.1007/3-540-61478-8_79(225-238)Online publication date: 7-Jun-2005
https://doi.org/10.1007/3-540-61478-8_79
Jaragh MSaleh K(1999)Synthesis of communications protocol converters using the timed Petri net modelJournal of Systems and Software10.1016/S0164-1212(99)00024-247:1(53-69)Online publication date: 1-May-1999
https://dl.acm.org/doi/10.1016/S0164-1212%2899%2900024-2
Saleh KJaragh M(1998)Synthesis of protocol convertersComputer Standards & Interfaces10.1016/S0920-5489(97)00034-219:2(105-117)Online publication date: 1-Mar-1998
https://dl.acm.org/doi/10.1016/S0920-5489%2897%2900034-2
Saleh KJaragh M(1998)Review paperComputer Communications10.1016/S0140-3664(98)00143-121:8(741-757)Online publication date: 1-Jun-1998
https://dl.acm.org/doi/10.1016/S0140-3664%2898%2900143-1
Ubik S(1997)Possibilities of using protocol converters for NIR system constructionACM SIGCOMM Computer Communication Review10.1145/263876.26388327:2(37-48)Online publication date: 1-Apr-1997
https://dl.acm.org/doi/10.1145/263876.263883
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Alternative Proxy