Borsatti, D; Cerroni, W; Clayman, S; (2022) From Category Theory to Functional Programming: A Formal Representation of Intent. In: Clemm, A and Maier, G and Machuca, CM and Ramakrishnan, KK and Risso, F and Chemouil, P and Limam, N, (eds.) Proceedings of the 2022 IEEE 8th International Conference on Network Softwarization (NetSoft). (pp. pp. 31-36). IEEE: Milan, Italy.

Preview

Text WIN_2022___Netsoft-2.pdf - Accepted Version Download (203kB) | Preview

Abstract

The possibility of managing network infrastructures through software-based programmable interfaces is becoming a cornerstone in the evolution of communication networks. The Intent-Based Networking (IBN) paradigm is a novel declarative approach towards network management proposed by a few Standards Developing Organizations. This paradigm offers a high-level interface for network management that abstracts the underlying network infrastructure and allows the specification of network directives using natural language. Since the IBN concept is based on a declarative approach to network management and programmability, we argue that the use of declarative programming to achieve IBN could uncover valuable insights for this new network paradigm. This paper proposes a formalization of this declarative paradigm obtained with concepts from category theory. Taking this approach to Intent, an initial implementation of this formalization is presented using Haskell, a well-known functional programming language.

Download activity - last month

Export as JSONXMLCSV

Download activity - last 12 months

Export as XMLCSVJSON

Downloads by country - last 12 months

Export as JSONCSVXML

Archive Staff Only

View Item