×

兹马思-数学第一资源

WNetKAT:一种加权的SDN编程和验证语言。(英语) Zbl 1432.68052
Fatourou,Panagiota(ed.)等人,第20届分布式系统原理国际会议(OPODIS 2016),西班牙马德里,2016年12月13-16日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。70,第18条,第18页。(2017年)。
摘要:可编程性和可验证性是软件定义的网络模式的核心。虽然OpenFlow及其匹配操作概念提供了操作硬件配置的原始操作,但在过去的几年中,已经开发了几种更具表现力的网络编程语言。本文介绍了第一种网络编程语言WNetKAT,它解释了网络固有的权重,以及通信受到容量限制(如带宽)和成本(如延迟或货币成本)的影响。基于Katwne的语义代数和语义扩展。我们展示了几个与WNetKAT相关的应用程序,包括成本和容量感知的可达性,以及服务质量和公平性方面。这些应用程序不仅适用于经典的、可拆分的和不可拆分的\((s,t)\)—流,而且可以推广到更复杂(和有状态)的网络功能和服务链。例如,WNetKAT允许对需要穿越某些航路点功能的流量进行建模,这会改变交通流量。本文还证明了WNetKAT等价问题与加权有限自动机等价问题之间的关系,这意味着前者是不可判定的。然而,本文也展示了表达式是否等于0的可判定性,这在许多实际场景中是足够的,并且我们开始讨论整个语言的可判定子集。
整个系列请参见[Zbl 1360.68011].
理学硕士:
68N15 程序设计语言理论
68米10 计算机系统中的网络设计与通信
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68Q45号 形式语言与自动机
PDF格式 BibTeX公司 XML 引用
全文: 内政部