ConNet: A Network Programming Language with Concurrency

Interdependent functionalities such as access authorizing, routing, traffic observing, and load adjusting are offered by today´s networks. Inconveniently, the existing languages for programming software defined networks do not provide parallelism to simulate the natural interdependence between common network functionalities. These languages are also not successful in providing a rudimentary solution to overcome the bad need for concurrency. This results in perplexed network programs. This paper proposes ConNet, a model for a concurrent network programming langauge. This model is simple, yet powerful enough to express strong networking applications. The model is supported with a new operational semantics that is based on a new concept, the event of states concept. A type system to guarantee type safety of ConNet programs is proposed in this paper as well. Mathematical formalization for the correctness of the type system is stated in the paper. Results of experiments checking efficiency of the language model are presented and discussed in the paper.