ImNet: An Imperative Network Programming Language
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.
Cite
@article{arxiv.1403.8028,
title = {ImNet: An Imperative Network Programming Language},
author = {Mohamed A. El-Zawawy and Adel I. AlSalem},
journal= {arXiv preprint arXiv:1403.8028},
year = {2014}
}
Comments
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