Formal specifications for software-defined networking

International Conference of Future Internet Pub Date : 2012-09-11 DOI:10.1145/2377310.2377331

Miyoung Kang, Ki-Hyuk Nam, Junkil Park, M. Shin, Jeehoon Shin, Jin-Young Choi

引用次数: 1

Abstract

It is important to understand the correct specification of SDN in order to implement and analyze the SDN in mind. However, natural languages are usually ambiguous and misleading the specification due to the nature of natural language understanding. Hence, it has been required to have formal specifications after natural language documents. We have two formal specifications for a part of SDN, and compare the formalisms, called ACSR and Z.

查看原文本刊更多论文

软件定义网络的正式规范

为了实现和分析SDN，理解正确的SDN规范是很重要的。然而，由于自然语言理解的本质，自然语言通常具有歧义性和误导性。因此，在自然语言文档之后，需要有正式的规范。对于SDN的一部分，我们有两个正式的规范，并对它们进行比较，称为ACSR和Z。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

International Conference of Future Internet

自引率

0.00%

发文量