利用基数约束规则编程消解ECA策略冲突

• 作者: 刘启和 李凡 李鑫
• 来源期刊: 计算机应用研究
• 关键词: 事件-条件-动作策略 基数约束规则编程 冲突消解 行动约束 稳态模型
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2543-2546
• 页数: 4页
• 分类号: TP181|TP182
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.07.041

摘要

为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法.基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质.先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立.该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李鑫	电子科技大学计算机科学与工程学院	20	98	6.0	9.0
2	李凡	电子科技大学计算机科学与工程学院	16	168	6.0	12.0
3	刘启和	电子科技大学计算机科学与工程学院	23	255	9.0	15.0