@inproceedings{4a34da88ccdb4190b54abdf5b4da0242,
title = "PDNet: A Programming Language for Software-Defined Networks with VLAN",
abstract = "Software-Defined Networking (SDN) is an emerging networking paradigm, which separates the network{\textquoteright}s control logic from the underlying routers and switches, providing the ability to program network, simplifying network management and creating an environment for network evolution. NetKAT is a domain-specific language for specifying and verifying packet-processing functions in software-defined networks (SDNs). This paper proposes a more powerful programming language, PDNet, extending NetKAT to specify the behaviors of SDNs that support virtual local area network (VLAN) tags. We present the operational semantics of PDNet in terms of automata and a syntactic derivatives. When comparing PDNet and NetKAT we show that PDNet is strictly more expressive than NetKAT. As expected, we also show that PDNet is as expressive as NetKAT when describing SDNs without VLAN.",
keywords = "NetKAT, Pushdown systems, Software Defined Networks, VLAN",
author = "Shuangqing Xiang and Marcello Bonsangue and Huibiao Zhu",
note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.; 21st International Conference on Formal Engineering Methods, ICFEM 2019 ; Conference date: 05-11-2019 Through 09-11-2019",
year = "2019",
doi = "10.1007/978-3-030-32409-4\_13",
language = "英语",
isbn = "9783030324087",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "203--218",
editor = "Yamine Ait-Ameur and Shengchao Qin",
booktitle = "Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Proceedings",
address = "德国",
}