-
题名利用基数约束规则编程消解ECA策略冲突
被引量:2
- 1
-
-
作者
李鑫
李凡
刘启和
-
机构
电子科技大学计算机科学与工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第7期2543-2546,共4页
-
基金
国家自然科学基金资助项目(60702071)
-
文摘
为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法。基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质。先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立。该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域。
-
关键词
事件-条件-动作策略
基数约束规则编程
冲突消解
行动约束
稳态模型
-
Keywords
eca (event-condition-action) policy
cardinality constraint rule (CCR) programming
conflict resolution
action constraint
stable model
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名策略驱动的数据交换模型
被引量:1
- 2
-
-
作者
李亚楠
刘连忠
-
机构
北京航空航天大学电子政务研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第20期31-33,共3页
-
基金
国家"863"计划基金资助项目"面向全国组织
干部系统的应用集成中间件平台研发及其应用"(2005AA113040)
-
文摘
针对数据交换应用存在数据交换来源多样、交换需求多变的特点,结合策略独立于实现等特点,提出将策略应用到数据交换领域的观点,解决现有数据交换系统的不足。从应用策略最成熟的网络管理和网络安全领域出发,通过对比已有策略建模方法的优缺点和数据交换特点,确立数据交换策略模型,建立策略驱动的数据交换模型的实现框架。
-
关键词
策略
规则
eca规则
数据交换
-
Keywords
policy
rule
Event Condition Action(eca)
data exchange
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-