Section: Application Domains

Rapid prototyping of network protocols

The Netquest approach provides a (global-level or local-level) programming abstraction that allows network protocol designers to program their protocols in a declarative way. The Netquest system is responsible for transforming these protocols into low-level code and executing them. The computation of protocols in Netquest can be monitored using the network simulator WSNet, and visualized, by a visualization tools developed in the group, showing the network activity as well as the evolution of the databases in the nodes. Compared to the implementation of protocols in imperative programming languages, the declarative specification can be two order of magnitude shorter [34] . More generally, Netquest offers an environment which simplifies the design of protocols by relying on the DBMS for fundamental aspects such as transactions.