软件定义网络的正式规范

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

{"title":"软件定义网络的正式规范","authors":"Miyoung Kang, Ki-Hyuk Nam, Junkil Park, M. Shin, Jeehoon Shin, Jin-Young Choi","doi":"10.1145/2377310.2377331","DOIUrl":null,"url":null,"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.","PeriodicalId":409750,"journal":{"name":"International Conference of Future Internet","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Formal specifications for software-defined networking\",\"authors\":\"Miyoung Kang, Ki-Hyuk Nam, Junkil Park, M. Shin, Jeehoon Shin, Jin-Young Choi\",\"doi\":\"10.1145/2377310.2377331\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":409750,\"journal\":{\"name\":\"International Conference of Future Internet\",\"volume\":\"17 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-09-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference of Future Internet\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2377310.2377331\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference of Future Internet","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2377310.2377331","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

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

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

查看原文本刊更多论文

Formal specifications for software-defined networking

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Conference of Future Internet

自引率

0.00%

发文量