Formal specifications for software-defined networking

Authors:
Miyoung Kang;Ki-Hyuk Nam;Junkil Park;Myung-Ki Shin;Jeehoon Shin;Jin-Young Choi
Affiliations:
Korea University, Seoul, Korea;ETRI, Daejeon, Korea;Korea University, Seoul, Korea;ETRI, Daejeon, Korea;Korea University, Seoul, Korea;Korea University, Seoul, Korea
Venue:
Proceedings of the 7th International Conference on Future Internet Technologies
Year:
2012

Citing 2
Cited 0

Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Process Algebraic Specification of Software Defined Networks

CICSYN '12 Proceedings of the 2012 Fourth International Conference on Computational Intelligence, Communication Systems and Networks

Quantified Score

Hi-index	0.00

Visualization

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.