吉林大学学报(理学版)

• 计算机科学 • 上一篇    下一篇

基于谓词推理的冲突检测算法

刘洁群   

  1. 合肥学院 计算机科学与技术系, 合肥 230601
  • 收稿日期:2015-04-27 出版日期:2016-01-26 发布日期:2016-01-19
  • 通讯作者: 刘洁群 E-mail:109074472@qq.com

Conflict Detection Algorithm Based on Predicate Reasoning

LIU Jiequn   

  1. Department of Computer Science and Technology, Hefei University, Hefei 230601, China
  • Received:2015-04-27 Online:2016-01-26 Published:2016-01-19
  • Contact: LIU Jiequn E-mail:109074472@qq.com

摘要:

针对基于策略的网络管理系统中, 由于不同用户的需求不同及系统的资源限度等原因, 导致策略之间的冲突及系统功能无法正常发挥的问题, 提出一种基于谓词推理的冲突检测算法.  该算法通过谓词表达策略的触发条件和作用效果, 并通过推理自动化地获得策略之间的冲突关系, 与传统方法相比具有较好的灵活性和可扩展性.

关键词: 基于策略的网络管理, 谓词推理, 冲突检测

Abstract:

Due to the different needs of different users, resource limitation of system and other reasons in the policy based network management system, these reasons led to conflict between policies, and system could not play a normal function. We proposed a conflict detection algorithm based on predicate reasoning, which could be obtained the conflict relationship between strategies by means of the trigger condition and the action effect of the predicate expression strategy. Compared with the traditional methods, this method has good flexibility and extensibility.

Key words:  policy based network management, predicate reasoning; conflict detection

中图分类号: 

  • TP31