OSPF protocol configuration comprehensive scheme achieved based on domain specific language

Abstract

An OSPF protocol configuration comprehensive scheme is achieved based on a domain specific language, a user compiles a strategy file and a topology file of a target network as system diagram input, and a system checks feasibility of a user strategy and automatically generates a configuration file meeting the user strategy for target network routing equipment. According to the scheme, a high-levelgrammar for describing an OSPF protocol flow strategy is designed, a method for verifying user intention feasibility is designed, a method and optimization for translating a strategy statement into afirst-order logic expression are designed, a method for generating and solving configuration parameters is designed, and the process and architecture of the whole system are designed. According to theinvention, efficient and correct automatic configuration of an intra-domain network OSPF protocol flow strategy can be provided for a user, the workload of manual configuration of the user is greatlyreduced, and the possibility of network faults caused by manual configuration is reduced.

Description

technical field [0001] The invention belongs to the field of network configuration synthesis, in particular to a domain-specific language-based implementation of an OSPF protocol configuration synthesis scheme, and relates to DSL primitives describing OSPF configuration intentions and comprehensive methods for intention verification, translation and solution. Background technique [0002] As the Internet becomes more and more complex, network devices support more and more functions and services, and network configuration becomes cumbersome and complicated. The complexity of network configuration leads to frequent configuration errors. Existing studies have shown that configuration errors are one of the main reasons for network interruptions and abnormalities. The reason for configuration errors is that the current network configuration work is mostly manual configuration, which is time-consuming and inefficient. And the possibility of configuration errors is greatly increase...

AI Technical Summary

Problems solved by technology

[0002] The Internet is becoming more and more complex, network devices support more and more functions and services, and network configuration becomes cumbersome and complicated

The complexity of network configuration leads to frequent configuration errors. Studies have shown that configuration errors are one of the main reasons for network interruptions and abnormalities. The reason for configuration errors is that the current network configuration work is mostly manual configuration, which is time-consuming and inefficient. And the possibility of configuration errors is greatly increased

Images