Automatic Generation of Network Protocol Gateways

Yérom-David Bromberg; Laurent Réveillère; Julia Lawall; Gilles Muller

doi:10.1007/978-3-642-10445-9_2

Automatic Generation of Network Protocol Gateways

Yérom-David Bromberg, Laurent Réveillère, Julia Lawall, Gilles Muller

Department of Computer Science

16 Citations (Scopus)

Abstract

The emergence of networked devices in the home has made it possible to
develop applications that control a variety of household functions.
However, current devices communicate via a multitude of incompatible
protocols, and thus gateways are needed to translate between them. Gateway
construction, however, requires an intimate knowledge of the relevant
protocols and a substantial understanding of low-level network programming,
which can be a challenge for many application programmers.

This paper presents a generative approach to gateway construction,
z2z, based on a domain-specific language for describing protocol
behaviors, message structures, and the gateway logic. Z2z includes a
compiler that checks essential correctness properties and produces
efficient code. We have used z2z to develop a number of gateways,
including SIP to RTSP, SLP to UPnP, and SMTP to SMTP via HTTP,
involving a range of issues common to protocols used in the home. Our
evaluation of these gateways shows that z2z enables communication
between incompatible devices without increasing the overall resource
usage or response time.

Original language	English
Title of host publication	ACM/IFIP/USENIX 10th International Middleware Conference
Number of pages	11
Volume	5896/2009
Publisher	Springer
Publication date	2009
Pages	21-41
ISBN (Print)	978-3-642-10444-2
DOIs	https://doi.org/10.1007/978-3-642-10445-9_2
Publication status	Published - 2009
Event	ACM/IFIP/USENIX 10th International Middleware Conference - Urbana Champaign, Illinois, United States Duration: 30 Nov 2009 → 4 Dec 2009 Conference number: 10

Conference

Conference	ACM/IFIP/USENIX 10th International Middleware Conference
Number	10
Country/Territory	United States
City	Urbana Champaign, Illinois
Period	30/11/2009 → 04/12/2009

Series	Lecture notes in computer science
Volume	5896/2009
ISSN	0302-9743

Access to Document

10.1007/978-3-642-10445-9_2

Cite this

Automatic Generation of Network Protocol Gateways . / Bromberg, Yérom-David; Réveillère, Laurent; Lawall, Julia et al.

ACM/IFIP/USENIX 10th International Middleware Conference. Vol. 5896/2009 Springer, 2009. p. 21-41 (Lecture notes in computer science, Vol. 5896/2009).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Bromberg, Y-D, Réveillère, L, Lawall, J & Muller, G 2009, Automatic Generation of Network Protocol Gateways . in ACM/IFIP/USENIX 10th International Middleware Conference. vol. 5896/2009, Springer, Lecture notes in computer science, vol. 5896/2009, pp. 21-41, ACM/IFIP/USENIX 10th International Middleware Conference, Urbana Champaign, Illinois, United States, 30/11/2009. https://doi.org/10.1007/978-3-642-10445-9_2

@inproceedings{e7c1d120b24511debc73000ea68e967b,

title = "Automatic Generation of Network Protocol Gateways ",

abstract = "The emergence of networked devices in the home has made it possible todevelop applications that control a variety of household functions.However, current devices communicate via a multitude of incompatibleprotocols, and thus gateways are needed to translate between them. Gatewayconstruction, however, requires an intimate knowledge of the relevantprotocols and a substantial understanding of low-level network programming,which can be a challenge for many application programmers.This paper presents a generative approach to gateway construction,z2z, based on a domain-specific language for describing protocolbehaviors, message structures, and the gateway logic. Z2z includes acompiler that checks essential correctness properties and producesefficient code. We have used z2z to develop a number of gateways,including SIP to RTSP, SLP to UPnP, and SMTP to SMTP via HTTP,involving a range of issues common to protocols used in the home. Ourevaluation of these gateways shows that z2z enables communicationbetween incompatible devices without increasing the overall resourceusage or response time.",

author = "Y{\'e}rom-David Bromberg and Laurent R{\'e}veill{\`e}re and Julia Lawall and Gilles Muller",

year = "2009",

doi = "10.1007/978-3-642-10445-9_2",

language = "English",

isbn = "978-3-642-10444-2",

volume = "5896/2009",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "21--41",

booktitle = "ACM/IFIP/USENIX 10th International Middleware Conference",

note = "ACM/IFIP/USENIX 10th International Middleware Conference ; Conference date: 30-11-2009 Through 04-12-2009",

}

TY - GEN

T1 - Automatic Generation of Network Protocol Gateways

AU - Bromberg, Yérom-David

AU - Réveillère, Laurent

AU - Lawall, Julia

AU - Muller, Gilles

N1 - Conference code: 10

PY - 2009

Y1 - 2009

N2 - The emergence of networked devices in the home has made it possible todevelop applications that control a variety of household functions.However, current devices communicate via a multitude of incompatibleprotocols, and thus gateways are needed to translate between them. Gatewayconstruction, however, requires an intimate knowledge of the relevantprotocols and a substantial understanding of low-level network programming,which can be a challenge for many application programmers.This paper presents a generative approach to gateway construction,z2z, based on a domain-specific language for describing protocolbehaviors, message structures, and the gateway logic. Z2z includes acompiler that checks essential correctness properties and producesefficient code. We have used z2z to develop a number of gateways,including SIP to RTSP, SLP to UPnP, and SMTP to SMTP via HTTP,involving a range of issues common to protocols used in the home. Ourevaluation of these gateways shows that z2z enables communicationbetween incompatible devices without increasing the overall resourceusage or response time.

AB - The emergence of networked devices in the home has made it possible todevelop applications that control a variety of household functions.However, current devices communicate via a multitude of incompatibleprotocols, and thus gateways are needed to translate between them. Gatewayconstruction, however, requires an intimate knowledge of the relevantprotocols and a substantial understanding of low-level network programming,which can be a challenge for many application programmers.This paper presents a generative approach to gateway construction,z2z, based on a domain-specific language for describing protocolbehaviors, message structures, and the gateway logic. Z2z includes acompiler that checks essential correctness properties and producesefficient code. We have used z2z to develop a number of gateways,including SIP to RTSP, SLP to UPnP, and SMTP to SMTP via HTTP,involving a range of issues common to protocols used in the home. Ourevaluation of these gateways shows that z2z enables communicationbetween incompatible devices without increasing the overall resourceusage or response time.

U2 - 10.1007/978-3-642-10445-9_2

DO - 10.1007/978-3-642-10445-9_2

M3 - Article in proceedings

SN - 978-3-642-10444-2

VL - 5896/2009

T3 - Lecture notes in computer science

SP - 21

EP - 41

BT - ACM/IFIP/USENIX 10th International Middleware Conference

PB - Springer

T2 - ACM/IFIP/USENIX 10th International Middleware Conference

Y2 - 30 November 2009 through 4 December 2009

ER -

Automatic Generation of Network Protocol Gateways

Abstract

Conference

Access to Document

Fingerprint

Cite this