UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

From Category Theory to Functional Programming: A Formal Representation of Intent

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. Green open access

[thumbnail of WIN_2022___Netsoft-2.pdf]
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.

Type: Proceedings paper
Title: From Category Theory to Functional Programming: A Formal Representation of Intent
Event: 2022 IEEE 8th International Conference on Network Softwarization (NetSoft)
Location: Politecnico Milano, Dipartimento Elettronica, Informazione & Bioingegneria, Milan, ITALY
Dates: 27 Jun 2022 - 1 Jul 2022
ISBN-13: 9781665406949
Open access status: An open access version is available from UCL Discovery
DOI: 10.1109/NetSoft54395.2022.9844061
Publisher version: https://doi.org/10.1109/NetSoft54395.2022.9844061
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
Keywords: Intent-Based Networking, Functional Programming, Haskell, Category Theory
UCL classification: UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Electronic and Electrical Eng
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL
URI: https://discovery.ucl.ac.uk/id/eprint/10157472
Downloads since deposit
287Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item