🤖 AI Summary
Manual network configuration is error-prone and often violates standards, leading to misconfigurations and inconsistency. This paper proposes a UML-based model-driven approach: first, an extensible, semantically precise network configuration metamodel is defined to formally capture device capabilities, topological constraints, and change requirements; second, declarative model-to-command mapping rules and a code generator are developed to automatically translate high-level configuration models into vendor-specific CLI commands. To our knowledge, this is the first academically rigorous end-to-end automation framework that bridges UML modeling and production-grade network configuration. Evaluated in a real-world OSPF migration project at Shinshu University’s campus network, the approach fully automated the generation of all device configurations; post-deployment validation confirmed that network behavior strictly conformed to specifications—demonstrating correctness, practicality, and engineering feasibility.
📝 Abstract
In preparation for constructing or modifying information networks, network engineers develop configuration procedures for network devices according to network configuration specifications. However, as engineers typically create these procedures manually, the generated configuration procedures frequently diverge from the specified requirements. To improve this situation, this paper proposes a method for automatically generating configuration procedures consisting of network device configuration commands based on network configurations and their modification specifications. In this study, we employed the UML (Unified Modeling Language) object-oriented modeling language to develop a notation for network configuration modeling that ensures both strict specification adherence and ease of extension. Additionally, we implemented a method for automatically generating configuration procedures that match the specifications by utilizing network configuration models. As an evaluation experiment, we applied the proposed method to a configuration change scenario in a wide-area campus network at Shinshu University, where the network was migrated from static routing to dynamic routing using the OSPF protocol. As a result, all expected configuration procedures were obtained and a network exhibiting the intended behavior was successfully constructed.