InforSIB事件代数的形式化框架与代数性质

摘要：

复合事件处理系统多节点处以及系统外部生成的大量的、连续到达的事件,通过规则匹配、推理等方法对事件模式进行检测,连续输出经过组合后的复合事件,以触发相应的后继处理.事件查询语言是规约事件模式的声明性语言,事件代数决定了事件查询语言的表达能力,同时也间接影响了事件检测的性能.因此,在权衡检测性能与事件查询语言的表达能力时,深入分析事件代数是非常重要的手段.基于White事件代数,扩展了事件代数的形式化框架,在形式化框架中考虑复合事件在更精细的时间关系下的语义定义,以增强事件代数的表达能力,同时考虑与应用相关的事件选择和消费策略-上下文策略,以提高事件检测的性能.讨论了InforSIB事件代数的代数性质,提出的上下文策略非常适合用于实时监控等领域,且具有良好的代数性质,保证了复合事件检测的时间和空间复杂度是有界的.

关键词：InforSIB、事件代数、上下文策略、事件消费策略、代数性质

所属期刊栏目：4

分类号：TP301(计算技术、计算机技术)

资助基金：The National High-Tech Research and Development Plan of China under Grant No.2006AA01Z451,2007AA01Z474国家高技术研究发展计划863;the Ministry & Commission-Level Research Foundation of China under Granted No.[2006]634

在线出版日期：2010-05-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：265-274