从全局形式化模式构建正确的基于SDN的组件
Building Correct SDN-Based Components from a Global Formal Mode
摘要：
软件定义网络（SDN）通过减少物理网络所施加的约束以及通过将网络的控制移动到更靠近应用的位置，在分布式应用的构造和管理中带来灵活性。然而，掌握SDN仍然面临许多挑战，其中包括正确的SDN组件（更具体地说是控制器和交换机）的设计。在这项工作中，我们使用一个正式的逐步的方法来建模和SDN的原因。虽然正式的方法已经在这个领域中使用，这个贡献是第一个基于状态的方法;它是基于事件-B正式的方法，它使正确的SDN组件的建设。我们提供的步骤来建立，使用几个改进，一个全球性的正式模型的SDN系统，正确的SDN组件，然后系统地建立从全球性的正式模型，满足所需的属性。事件B被用来实验该方法。
英文摘要：
Software Defined Networking (SDN) brings flexibility in the construction and managment of distributed applications by reducing the constraints imposed by physical networks and by moving the control of networks closer to the applications. However mastering SDN still poses numerous challenges among which the design of correct SDN components (more specifically controller and switches). In this work we use a formal stepwise approach to model and reason on SDN. Although formal approaches have already been used in this area, this contribution is the first state-based approach; it is based on the Event-B formal method, and it enables a correct-by-construction of SDN components. We provide the steps to build, using several refinements, a global formal model of a SDN system; correct SDN components are then systematically built from the global formal model satisfying the desired properties. Event-B is used to experiment the approach.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
