Admin: 1 revision

2011-12-12T10:06:27Z

1 revision

New page

[[Category:WG211]]

<h1>Automatic Generation of Network Protocol Gateways</h1>

<h3>Laurent R�veill�re</h3>

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 programmers.

In this talk, I will present 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.

WG211/M7Reveillere - Revision history

Admin: 1 revision