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
Number of pages1
DOIs
Publication statusPublished - 2012
Event7th International Conference on Future Internet Technologies, CFI'12 - Seoul, Korea, Republic of
Duration: 2012 Sep 112012 Sep 12

Publication series

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

Other

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

ASJC Scopus subject areas

  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Formal specifications for software-defined networking'. Together they form a unique fingerprint.

Cite this