A Formal Approach to the Design and Implementation of Configuration Strategy Automation for Switch Network

Jiahai Yang
2012-01-01
Abstract:Configuration management is an important part of network management.With the use of IPv6 protocol and the improvement of security mechanism,configuration of enterprise network has become more and more complex.The paper presents a method for automatic configuration of switch network and implements a prototype system.The system automatically translates network topology into formal description with Alloy language.Through the formal description of the configuration rules,the system finds a solution satisfying all the rules,and finally enforces the configuration of switches automatically.By using multi-threads to find a solution satisfying rules for each subnet simultaneously,the system can finish the automatic configuration of a campus network with a thousand of SAVI switches within reasonable time.
What problem does this paper attempt to address?