Implementation of ospf protocol configuration comprehensive scheme based on domain specific language

Abstract

The present invention implements a comprehensive scheme for OSPF protocol configuration based on a domain-specific language. The user writes the policy file and topology file of the target network as a system diagram input, and the system checks the feasibility of the user policy and automatically generates a configuration file for the target network routing device that meets the user policy. . The scheme designs a high-level grammar describing the traffic policy of the OSPF protocol, designs a method for verifying the feasibility of user intentions, designs a method for translating policy statements into first-order logic expressions and optimizes them, and designs a method for generating and solving configuration parameters, and The flow and structure of the overall system. The invention can provide users with efficient and correct automatic configuration of intra-domain network OSPF protocol flow policy, greatly reduces the workload of manual configuration for users, and reduces the possibility of network failures caused by manual configuration.

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