Information Sciences Seminar——A Reo Model of Software Defined Networks
报告人：Hui Feng（Leiden University）
时间：2019-11-20 10:00-11:00
地点：Room 1304, Science Building No. 1
Abstract: Reo is a compositional coordination language for component connectors with a formal semantics based on automata. In this talk, I will propose a formal model of Software Defined Networks (SDNs) based on Reo where declarative constructs comprising of basic Reo primitives compose to specify descriptive models of both data and control planes of SDNs. I will first introduce the model of an SDN switch which can be compactly represented as a single state constraint automaton with a memory storing its flow table. A full network can then be compositionally constructed by composing the switches with basic communication channels. The reactive and proactive behaviour of the controllers in the control plane of an SDN can also be modelled by Reo connectors, which can compose the connectors representing data plane. The resulting model is suitable for testing, simulation, visualization, verification, and ultimately compilation into SDN switch code using the standard tools already available for Reo.
