| | |
Summary: Towards Router Specification in Curry:
The Language ROSE
J. Guadalupe Ramos1
, Josep Silva2
, and Germ´an Vidal2
1
Instituto Tecnol´ogico de La Piedad
Av. Tecnol´ogico 2000, Meseta los Laureles, La Piedad, Mich., M´exico
guadalupe@dsic.upv.es
2
DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain
{jsilva,gvidal}@dsic.upv.es
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
|
