Formal specifications for software-defined networking

Miyoung Kang, Junkil Park, Jeehoon Shin, Ki Hyuk Nam, Myung Ki Shin, Jin Young Choi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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 mis- leading 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.

Original languageEnglish
Title of host publicationProceedings of the 7th International Conference on Future Internet Technologies, CFI'12
DOIs
Publication statusPublished - 2012 Oct 26
Event7th International Conference on Future Internet Technologies, CFI'12 - Seoul, Korea, Republic of
Duration: 2012 Sep 112012 Sep 12

Other

Other7th International Conference on Future Internet Technologies, CFI'12
CountryKorea, Republic of
CitySeoul
Period12/9/1112/9/12

Fingerprint

Specifications
Software defined networking
Formal specification

ASJC Scopus subject areas

  • Computer Networks and Communications

Cite this

Kang, M., Park, J., Shin, J., Nam, K. H., Shin, M. K., & Choi, J. Y. (2012). Formal specifications for software-defined networking. In Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12 https://doi.org/10.1145/2377310.2377331

Formal specifications for software-defined networking. / Kang, Miyoung; Park, Junkil; Shin, Jeehoon; Nam, Ki Hyuk; Shin, Myung Ki; Choi, Jin Young.

Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12. 2012.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Kang, M, Park, J, Shin, J, Nam, KH, Shin, MK & Choi, JY 2012, Formal specifications for software-defined networking. in Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12. 7th International Conference on Future Internet Technologies, CFI'12, Seoul, Korea, Republic of, 12/9/11. https://doi.org/10.1145/2377310.2377331
Kang M, Park J, Shin J, Nam KH, Shin MK, Choi JY. Formal specifications for software-defined networking. In Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12. 2012 https://doi.org/10.1145/2377310.2377331
Kang, Miyoung ; Park, Junkil ; Shin, Jeehoon ; Nam, Ki Hyuk ; Shin, Myung Ki ; Choi, Jin Young. / Formal specifications for software-defined networking. Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12. 2012.
@inproceedings{ca0b4826ef0e4215bf138625a73df055,
title = "Formal specifications for software-defined networking",
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 mis- leading 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.",
author = "Miyoung Kang and Junkil Park and Jeehoon Shin and Nam, {Ki Hyuk} and Shin, {Myung Ki} and Choi, {Jin Young}",
year = "2012",
month = "10",
day = "26",
doi = "10.1145/2377310.2377331",
language = "English",
isbn = "9781450316903",
booktitle = "Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12",

}

TY - GEN

T1 - Formal specifications for software-defined networking

AU - Kang, Miyoung

AU - Park, Junkil

AU - Shin, Jeehoon

AU - Nam, Ki Hyuk

AU - Shin, Myung Ki

AU - Choi, Jin Young

PY - 2012/10/26

Y1 - 2012/10/26

N2 - 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 mis- leading 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.

AB - 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 mis- leading 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.

UR - http://www.scopus.com/inward/record.url?scp=84867734843&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84867734843&partnerID=8YFLogxK

U2 - 10.1145/2377310.2377331

DO - 10.1145/2377310.2377331

M3 - Conference contribution

AN - SCOPUS:84867734843

SN - 9781450316903

BT - Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12

ER -