ImNet: An Imperative Network Programming Language
arXiv:1403.8028
Abstract
One of the most recent architectures of networks is Software-Defined Networks (SDNs) using a con- troller appliance to control the set of switches on the network. The controlling process includes installing or uninstalling packet-processing rules on flow tables of switches. This paper presents a high-level imperative network programming language, called ImNet, to facilitate writing efficient, yet simple, programs executed by controller to manage switches. ImNet is simply-structured, expressive, compositional, and imperative. This paper also introduces an operational semantics to ImNet. Detailed examples of programs (with their operational semantics) constructed in ImNet are illustrated in the paper as well.
8 pages, 8 figures, Mohamed A. El-Zawawy and Adel I. AlSalem. ImNet: An Imperative Network Programming Language. Proceedings of The 14th International Conference on Applied Computer Science, ACS 2014, Constantin Buzatu (Ed): Modern Computer Applications in Science and Education, pp. 149--156