RefDoc
Haut

Faire une nouvelle recherche
Make a new search
Lancer la recherche


Titre du document / Document title

An embedded language approach to router specification in Curry

Auteur(s) / Author(s)

GUADALUPE RAMOS J. (1) ; SILVA Josep (2) ; VIDAL German (2) ;

Affiliation(s) du ou des auteurs / Author(s) Affiliation(s)

(1) Instituto Tecnológico de La Piedad, Av. Tecnológico 2000, Meseta los Laureles, La Piedad, Mich., MEXIQUE
(2) DSIC, UPV, Camino de Vera s/n, 46022 Valencia, ESPAGNE

Résumé / 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 ions. 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.

Revue / Journal Title

Lecture notes in computer science    ISSN  0302-9743 

Source / Source

Congrès
SOFSEM 2004 : theory and practice of computer science :   ( Merin, 24-30 January 2004 )
Conference on current trends in theory and practice of computer science No30, Merin , TCHEQUE, REPUBLIQUE (24/01/2004)
2004  , vol. 2932, pp. 277-288[Note(s) : XIII, 384 p., ] [Document : 12 p.] (14 ref.) ISBN 3-540-20779-1 ;  Illustration : Illustration ;

Langue / Language

Anglais

Editeur / Publisher

Springer, Berlin, ALLEMAGNE  (1973) (Revue)
Springer, Berlin, ALLEMAGNE  (2004) (Monographie)

Mots-clés anglais / English Keywords

Declarative language

;

Abstraction

;

Paradigm

;

Specification

;

Software architecture

;

Modular architecture

;

Hand

;

Router

;

Domain specific language

;

Software tool

;

Specification language

;

Special purpose language

;

Computer theory

;

Mots-clés français / French Keywords

Langage déclaratif

;

Abstraction

;

Paradigme

;

Spécification

;

Architecture logiciel

;

Architecture modulaire

;

Main

;

Routeur

;

Langage dédié

;

Outil logiciel

;

Langage spécification

;

Langage spécialisé

;

Informatique théorique

;

Mots-clés espagnols / Spanish Keywords

Lenguaje declarativo

;

Abstracción

;

Paradigma

;

Especificación

;

Arquitectura modular

;

Mano

;

Router

;

Lenguaje dedicado

;

Herramienta software

;

Lenguaje especificación

;

Lenguaje especializado

;

Informática teórica

;

Localisation / Location

INIST-CNRS, Cote INIST : 16343, 35400011781276.0240

Nº notice refdoc (ud4) : 15735049



Faire une nouvelle recherche
Make a new search
Lancer la recherche
Bas