An Embedded Language Approach to Router Specification in Curry

  • J. Guadalupe Ramos
  • Josep Silva
  • Germán Vidal
Conference paper

DOI: 10.1007/978-3-540-24618-3_24

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2932)
Cite this paper as:
Ramos J.G., Silva J., Vidal G. (2004) An Embedded Language Approach to Router Specification in Curry. In: Van Emde Boas P., Pokorný J., Bieliková M., Štuller J. (eds) SOFSEM 2004: Theory and Practice of Computer Science. SOFSEM 2004. Lecture Notes in Computer Science, vol 2932. Springer, Berlin, Heidelberg

Abstract

The development of modern routers require a significant effort to be designed, built, and verified. While hardware routers are faster, they are difficult to configure and maintain. Software routers, on the other hand, are slower but much more flexible, easier to configure and maintain, less expensive, etc. Recently, a modular architecture and toolkit for building software routers and other packet processors has been introduced: the Click system. It includes a specification language with features for declaring and connecting router elements and for designing abstractions.

In this work, we introduce the domain-specific language Rose for the specification of software routers. Rose is embedded in Curry, a modern declarative multi-paradigm language. An advantage of this approach is that we have available a framework where router specifications can be transformed, optimized, verified, etc., by using a number of existing formal techniques already developed for Curry programs. Furthermore, we show that the features of Curry are particularly useful to specify router configurations with a high-level of abstraction. Our first experiments point out that the proposed methodology is both useful and practical.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • J. Guadalupe Ramos
    • 1
  • Josep Silva
    • 2
  • Germán Vidal
    • 2
  1. 1.Instituto Tecnológico de La PiedadMeseta los Laureles, La Piedad, Mich.México
  2. 2.DSIC, UPVValenciaSpain

Personalised recommendations