Article

Free access

Efficient gateway synthesis from formal specifications

Authors:

David M. Kristol,

David Lee,

Arun N. Netravali,

Krishan K. SabnaniAuthors Info & Claims

SIGCOMM '91: Proceedings of the conference on Communications architecture & protocols

Pages 89 - 97

https://doi.org/10.1145/115992.116002

Published: 01 August 1991 Publication History

PDF eReader

References

[1]

J. Auerbach, "A Protocol Conversion Software Toolkit," Proc. ACM SIGCOMM '89, Austin, Texas, pp. 259-270, Sept., 1989.

Digital Library

Google Scholar

[2]

G. v. Bochmann, Principles of Protocol Conversion and Communication Gateways, Publication # 624, Universite de Montreal, Montreal, Canada.

Google Scholar

[3]

G. v. Bochmann and C. A. Sunshine, "A Survey of Formal Methods," Computer Networks and Protocols, P. E. Green (Ed.), pp. 561-578, Plenum Press, May, 1983.

Google Scholar

[4]

K. L. Calvert and S. S. Lam, "Deriving a Protocol Converter: A Top-down Approach," Proc. ACM SIGCOMM '89, Austin, Texas, pp. 247-258, Sept., 1989.

Digital Library

Google Scholar

[5]

S. Even and Y. Shiloach, "An On-line Edge Deletion Problem," J. Assoc. Comput. Mach, Vol. 28, pp. 1-4, 1981.

Digital Library

Google Scholar

[6]

G. N. Frederickson, "Data Structures for On-line Updating of Minimum Spanning Trees with Applications," SIAM J. Comput., Vol. 14, pp. 781-798, 1985.

Digital Library

Google Scholar

[7]

P. E. Green, "Protocol Conversion," IEEE Trans. Comm., Vol. COM-34, No. 3., pp. 257-268, March, 1986.

Google Scholar

[8]

D. Harel, "On-line Maintenance of the Connected Components of Dynamic Graphs," Unpublished manuscript, 1982.

Google Scholar

[9]

F. C. Hennie, Finite-State Models for Logical Machines, John Wiley & Sons, Inc., 1968.

Google Scholar

[10]

C. A. R. Hoare, "Communicating Sequential Processes," Communications of the ACM, Vol. 21, No. 8, pp. 666-677, August, 1978.

Digital Library

Google Scholar

[11]

J. E. Hopcroft and J. D. Ullman, Introduction to automata theory, languages, and computation, Addison- Wesley, 1979.

Digital Library

Google Scholar

[12]

S. Lam, "protocol Conversion," IEEE Trans. Soft. Engr., Vol. 14, No. 3, pp. 353-362, March, 1988.

Digital Library

Google Scholar

[13]

P. M. Merlin and G. v. Bochmann, "On the construction of submodule specifications and communication protocols," ACM Trans. Prog. Lang. and Sys., Vol. 5, No. 1, Jan., t983.

Digital Library

Google Scholar

[14]

R. Milner, A Calculus of Communicating Systems, Springer-Verlag, 1980.

Digital Library

Google Scholar

[15]

K. Okumura, "A Formal Protocol Conversion Method," Proc. ACM SIGCOMM '86, Stowe, Vermont, pp. 30-37, August 5-7, 1986.

Digital Library

Google Scholar

[16]

B. Pehrson, "Protocol Verification for OSi," Computer Networks and iSDN Systems, Vol. 18, No. 3, pp. 185-202, April, 1990.

Digital Library

Google Scholar

[17]

R. Paige and R. E. Tarjan, "Three Partition Refinement Algorithms," SIAM J. Comput., Vol. 16, No. 6, pp. 973-989, December, 1987.

Digital Library

Google Scholar

[18]

K. Sabnani, "An Algorithmic Technique for Protocol Verification," IEEE Trans. Comm., Vol. COM-36, No. 8, pp. 924-931, August, 1988.

Google Scholar

[19]

C. H. West, "An Automated Technique of Communications Protocol Validation," IEEE Trans. Comm., Vol. COM-26, No. 8, pp. 1271-1275, August, 1978.

Google Scholar

[20]

Y.-W. Yao, W.-S. Chen, and M. T. Liu, "A Modular approach to constructing Protocol Converters," Proc. INFOCOM '90, pp. 572-579, June 1990.

Google Scholar

Cited By

View all

Shen CPlishker WBhattacharyya SGoldsman N(2007)An Energy-Driven Design Methodology for Distributing DSP Applications across Wireless Sensor NetworksProceedings of the 28th IEEE International Real-Time Systems Symposium10.1109/RTSS.2007.9(214-226)Online publication date: 3-Dec-2007
https://dl.acm.org/doi/10.1109/RTSS.2007.9
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
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
Show More Cited By

Index Terms

Efficient gateway synthesis from formal specifications
1. Networks
  1. Network properties
    1. Network structure
  2. Network protocols
    1. Network protocol design
2. Theory of computation
  1. Computational complexity and cryptography
    1. Complexity classes
  2. Formal languages and automata theory

Recommendations

Structured formal specifications
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Creating a formal specification for a design is an error-prone process. At the same time, debugging incorrect specifications is difficult and time consuming. In this work, we propose a debugging method for formal specifications that does not require an ...
Generating Maude formal specifications from AUML diagrams
Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004

In this paper, we present a formal and systematic approach allowing translating the specification of the interactions between agents, described using AUML formalism, in a Maude specification. Based on rewriting logic, the formal and object-oriented ...

Comments

Information & Contributors

Information

Published In

SIGCOMM '91: Proceedings of the conference on Communications architecture & protocols

August 1991

336 pages

ISBN:0897914449

DOI:10.1145/115992

Chairman:
A. Lyman Chapin
Bolt Beranek and Newman, Cambridge, MA

ACM SIGCOMM Computer Communication Review Volume 21, Issue 4
Sept. 1991
300 pages
ISSN:0146-4833
DOI:10.1145/115994
Editor:
Craig Partridge
Bolt Beranek and Newman Inc., Cambridge, MA
Issue’s Table of Contents

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SIGCOMM 91

Sponsor:

SIGCOMM

SIGCOMM 91: SIGCOMM Symposium, Communication, Architectures and Protocols

September 3 - 6, 1991

Zurich, Switzerland

Acceptance Rates

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
474
Total Downloads

Downloads (Last 12 months)75
Downloads (Last 6 weeks)17

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Shen CPlishker WBhattacharyya SGoldsman N(2007)An Energy-Driven Design Methodology for Distributing DSP Applications across Wireless Sensor NetworksProceedings of the 28th IEEE International Real-Time Systems Symposium10.1109/RTSS.2007.9(214-226)Online publication date: 3-Dec-2007
https://dl.acm.org/doi/10.1109/RTSS.2007.9
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
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
Tao ZBochmann GDssouli R(1995)A top-down method for synthesizing optimized protocol convertersProceedings International Phoenix Conference on Computers and Communications10.1109/PCCC.1995.472481(270-276)Online publication date: 1995
https://doi.org/10.1109/PCCC.1995.472481
Tao Zv. Bochmann GDssouli R(1995)An efficient method for protocol conversionProceedings of Fourth International Conference on Computer Communications and Networks - IC3N'9510.1109/ICCCN.1995.540100(40-47)Online publication date: 1995
https://doi.org/10.1109/ICCCN.1995.540100
Saleh KJaragh MRafiq O(1994)SYNTHESIZING COMMUNICATION GATEWAYS FROM PROTOCOL AND SERVICE SPECIFICATIONSProceeding of 13th IEEE Annual International Phoenix Conference on Computers and Communications10.1109/PCCC.1994.504105(141)Online publication date: 1994
https://doi.org/10.1109/PCCC.1994.504105
Gunawan ETan Pek Tong Shi Nansi (1993)Survey of formal description techniques (FDTs) for protocol converter designProceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation10.1109/TENCON.1993.320017(422-425)Online publication date: 1993
https://doi.org/10.1109/TENCON.1993.320017
Kristol DLee DNetravali ASabnani K(1993)A polynomial algorithm for gateway generation from formal specificationsIEEE/ACM Transactions on Networking10.1109/90.2229281:2(217-229)Online publication date: 1-Apr-1993
https://dl.acm.org/doi/10.1109/90.222928
Gunawan EPek Tong Tan Nansi Shi (1990)Selection of a formal description technique (FDT) for a FDT based protocol converter[Proceedings] Singapore ICCS/ISITA `9210.1109/ICCS.1992.254977(188-192)Online publication date: 1990
https://doi.org/10.1109/ICCS.1992.254977

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Structured formal specifications

Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Generating Maude formal specifications from AUML diagrams