-
公开(公告)号：CN112532517A
公开(公告)日：2021-03-19
申请号：CN202011220342.6
申请日：2020-11-05
申请人： 东北大学
IPC分类号： H04L12/721 , H04L29/08 , H04L12/751 , H04L12/24 , G06F9/445 , G06F8/41
摘要： 本发明是基于领域特定语言实现OSPF协议配置综合方案，用户编写目标网络的策略文件与拓扑文件作为系统图输入，系统检验用户策略的可行性并自动为目标网络路由设备生成满足用户策略的配置文件。方案设计了描述OSPF协议流量策略的高层次语法，设计了验证用户意图可行性的方法，设计了将策略语句转译为一阶逻辑表达式的方法及优化，设计了配置参数生成求解的方法，以及整体系统的流程与架构。本发明能够为用户提供高效、正确的域内网络OSPF协议流量策略的自动配置，极大的减轻用户手动配置的工作量，减少了由于人工配置导致网络故障发生的可能。
-
公开(公告)号：CN112636958B
公开(公告)日：2022-09-09
申请号：CN202011464295.X
申请日：2020-12-12
申请人： 东北大学
摘要： 本发明涉及一种意图驱动网络中的策略自动化验证技术，针对策略在实现时出现的各种问题提出对应的解决方案，首先，针对用户意图中的意图指标、性能参数可能在转译后与用户意图相违背的情况，设计了基于形式化验证的方法来验证意图转译带来的策略不一致性问题。其次针对策略在下发时与网络中现有的策略发生冲突的情况，设计了基于流规则的策略冲突验证的方法。最后针对底层网络资源不够无法满足用户需求，从而导致策略的实现与用户意图违背的情况，设计了基于实时数据库的资源可用性验证的方法。本发明通过对意图转译的策略进行验证，能够有效保证策略实现的正确性。
-
公开(公告)号：CN112636958A
公开(公告)日：2021-04-09
申请号：CN202011464295.X
申请日：2020-12-12
申请人： 东北大学
摘要： 本发明涉及一种意图驱动网络中的策略自动化验证技术，针对策略在实现时出现的各种问题提出对应的解决方案，首先，针对用户意图中的意图指标、性能参数可能在转译后与用户意图相违背的情况，设计了基于形式化验证的方法来验证意图转译带来的策略不一致性问题。其次针对策略在下发时与网络中现有的策略发生冲突的情况，设计了基于流规则的策略冲突验证的方法。最后针对底层网络资源不够无法满足用户需求，从而导致策略的实现与用户意图违背的情况，设计了基于实时数据库的资源可用性验证的方法。本发明通过对意图转译的策略进行验证，能够有效保证策略实现的正确性。
-
公开(公告)号：CN112532517B
公开(公告)日：2022-04-05
申请号：CN202011220342.6
申请日：2020-11-05
申请人： 东北大学
摘要： 本发明是基于领域特定语言实现OSPF协议配置综合方案，用户编写目标网络的策略文件与拓扑文件作为系统图输入，系统检验用户策略的可行性并自动为目标网络路由设备生成满足用户策略的配置文件。方案设计了描述OSPF协议流量策略的高层次语法，设计了验证用户意图可行性的方法，设计了将策略语句转译为一阶逻辑表达式的方法及优化，设计了配置参数生成求解的方法，以及整体系统的流程与架构。本发明能够为用户提供高效、正确的域内网络OSPF协议流量策略的自动配置，极大的减轻用户手动配置的工作量，减少了由于人工配置导致网络故障发生的可能。
-
-
-
搜索结果
4 条记录 (耗时 0.023 秒)
