Section: New Results

A rule-based language for networking protocols

Participants : Stéphane Grumbach, Wenwu Qu, Kun Suo, Fang WANG, Zhilin Wu.

For the local level of abstraction, expressing the nodes behavior, we have designed a rule-based language, Netlog , which extends SQL with recursion, non-determinism and communication primitives, based on rules à la Datalog [40] . This language has been shown to be suitable to express a large collection of classical networking protocols. It thus allows to give a declarative specification of both networking protocols as well as network applications. This language admits two procedural semantics, in push mode corresponding to proactive protocols, and in pull mode corresponding to reactive protocols. The distributed fixpoint semantics is introduced in [9] . Netlog is currently mainly used to express protocols which are stored in a declarative manner in the database of the nodes. We have adapted the semi-naive bottom-up algorithm [18] for Datalog to evaluate Netlog and implemented it in the Netquest system.