本文已被:浏览 1539次 下载 2769次
中文摘要: 采用基于策略的方法对安全管理,服务质量等进行监管,已经得到广泛应用.描述逻辑是一种基于对象的知识表示形式.本文提供了一种基于描述逻辑的策略系统建模方式,将策略定义为两种类型,即授权策略和义务策略.根据其性质特点建立主体、客体、角色、动作、事件、约束条件等概念,结合概念之间的关系,最终得到基于描述逻辑的策略系统模型.借助描述逻辑的推理技术,可以对策略系统模型进行分析.并举例说明了这种基于描述逻辑的策略规格方法.
中文关键词: 策略建模 描述逻辑 授权策略 义务策略
Abstract:
keywords:
文章编号: 中图分类号: 文献标志码:
基金项目:
Author Name | Affiliation |
王晓贺 | 桂林电子科技大学 桂林 541004 |
蔡国永 | 桂林电子科技大学 桂林 541004 |
Author Name | Affiliation |
王晓贺 | 桂林电子科技大学 桂林 541004 |
蔡国永 | 桂林电子科技大学 桂林 541004 |
引用文本:
王晓贺,蔡国永.基于描述逻辑的策略系统建模方法研究.计算机系统应用,2007,16(9):59-62
.A Study on Policy System Modeling Based on Description Logic.COMPUTER SYSTEMS APPLICATIONS,2007,16(9):59-62
王晓贺,蔡国永.基于描述逻辑的策略系统建模方法研究.计算机系统应用,2007,16(9):59-62
.A Study on Policy System Modeling Based on Description Logic.COMPUTER SYSTEMS APPLICATIONS,2007,16(9):59-62