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
N1 - Copyright:
Copyright 2012 Elsevier B.V., All rights reserved.
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 - http://www.scopus.com/inward/record.url?scp=84867734843&partnerID=8YFLogxK
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 -