WNetKAT公司

WNetKAT:一种加权的SDN编程和验证语言。可编程性和可验证性是软件定义的网络模式的核心。虽然OpenFlow及其匹配操作概念提供了操作硬件配置的原始操作,但在过去的几年中,已经开发了几种更具表现力的网络编程语言。本文介绍了第一种网络编程语言WNetKAT,它解释了网络固有的权重,以及通信受到容量限制(如带宽)和成本(如延迟或货币成本)的影响。WNetKAT基于NetKAT代数的语法和语义扩展。我们展示了几个与WNetKAT相关的应用程序,包括成本和容量感知的可达性,以及服务质量和公平性方面。这些应用程序不仅适用于经典的、可拆分的和不可拆分的$(s,t)$-流,而且还可推广到更复杂(和有状态)的网络功能和服务链。例如,WNetKAT允许对需要穿越某些航路点功能的流量进行建模,这会改变交通流量。本文还证明了WNetKAT等价问题与加权有限自动机等价问题之间的关系,这意味着前者是不可判定的。然而,本文也展示了表达式是否等于0的可判定性,这在许多实际场景中是足够的,并且我们开始讨论整个语言的可判定子集。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献1条,1标准件)

显示结果1/1。
按年份排序(引用)

  1. 拉森,金G。;施密德,斯特凡;薛炳天:WNetKAT:a weighted SDN编程与验证语言(2017)