WNetKAT公司 swMATH ID: 25228 软件作者: Larsen,Kim G。;施密德,斯特凡;薛冰田 描述: WNetKAT:一种加权SDN编程和验证语言。可编程性和可验证性是软件定义网络范例的核心。虽然OpenFlow及其匹配操作概念提供了操作硬件配置的基本操作,但在过去几年中,开发了几种更具表现力的网络编程语言。本文介绍了WNetKAT,这是第一种网络编程语言,它考虑了网络固有的权重,以及通信受到容量限制(例如带宽方面)和成本(例如延迟或金钱成本)的影响。WNetKAT基于NetKAT代数的语法和语义扩展。我们演示了WNetKAT的几个相关应用程序,包括成本和容量感知可达性,以及服务质量和公平性方面。这些应用程序不仅适用于经典的、可拆分的和不可拆分的流,还适用于更复杂(和有状态的)网络功能和服务链。例如,WNetKAT允许对需要穿越某些航路点功能的流量进行建模,这可能会改变交通速率。本文还证明了WNetKAT的等价问题与加权有限自动机的等价问题之间的关系,这意味着前者的不可判定性。然而,本文还展示了表达式是否等于0的可判定性,这在许多实际场景中都是足够的,并且我们开始讨论整个语言的可判定子集。 主页: https://arxiv.org/abs/1608.08483 关键词: 软件定义的网络;验证;可达性;有状态处理;服务链;加权自动机;可判定性;NetKAT公司 相关软件: Nettle公司;梅林;VeriFlow公司;狂热的 引用于: 1文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 WNetKAT:一种加权SDN编程和验证语言。 Zbl 1432.68052号Larsen,Kim G。;斯特凡·施密德;薛冰田 2017 3位作者引用 1 金·古德斯特兰·拉森 1 斯特凡·施密德 1 薛冰田 0连载引用 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文