Formal specifications for software-defined networking

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

doi:10.1145/2377310.2377331

Formal specifications for software-defined networking

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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12
Pages	51
Number of pages	1
DOIs	https://doi.org/10.1145/2377310.2377331
Publication status	Published - 2012
Event	7th International Conference on Future Internet Technologies, CFI'12 - Seoul, Korea, Republic of Duration: 2012 Sept 11 → 2012 Sept 12

Publication series

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

Other

Other	7th International Conference on Future Internet Technologies, CFI'12
Country/Territory	Korea, Republic of
City	Seoul
Period	12/9/11 → 12/9/12

ASJC Scopus subject areas

Computer Networks and Communications

Access to Document

10.1145/2377310.2377331

Cite this

Formal specifications for software-defined networking. / Kang, Miyoung; Park, Junkil; Shin, Jeehoon et al.
Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12. 2012. p. 51 (Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12).

Research output: Chapter in Book/Report/Conference proceeding › Conference 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. Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12, pp. 51, 7th International Conference on Future Internet Technologies, CFI'12, Seoul, Korea, Republic of, 12/9/11. https://doi.org/10.1145/2377310.2377331

@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",

doi = "10.1145/2377310.2377331",

language = "English",

isbn = "9781450316903",

series = "Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12",

pages = "51",

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

Y1 - 2012

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 - https://www.scopus.com/pages/publications/84867734843

U2 - 10.1145/2377310.2377331

DO - 10.1145/2377310.2377331

M3 - Conference contribution

AN - SCOPUS:84867734843

SN - 9781450316903

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

SP - 51

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

T2 - 7th International Conference on Future Internet Technologies, CFI'12

Y2 - 11 September 2012 through 12 September 2012

ER -

Formal specifications for software-defined networking

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this