InforSIB事件代数的形式化框架与代数性质
复合事件处理对系统多节点处以及系统外部生成的大量的、连续到达的事件，通过规则匹配、推理等方法对事件模式进行检测，连续输出经过组合后的复合事件，以触发相应的后继处理。事件查询语言是规约事件模式的声明性语言，事件代数决定了事件查询语言的表达能力，同时也间接影响了事件检测的性能，因此，在权衡检测性能与事件查询语言的表达能力时，深入分析事件代数是非常重要的手段。基于White事件代数，扩展了事件代数的形式化框架，在形式化框架中考虑复合事件在更精细的时间关系下的语义定义，以增强事件代数的表达能力，同时考虑与应用相关的事件选择和消费策略-上下文策略，以提高事件检测的性能。讨论了InforsIB事件代数的代数性质，提出的上下文策略非常适合用于实时监控等领域，且具有良好的代数性质，保证了复合事件检测的时间和空间复杂度是有界的。
InforSIB事件代数 事件查询语言 形式化框架 上下文策略 代数性质 数据库
刘家红 朱锐 滕猛 吴泉源
国防科技大学 计算机学院网络与信息安全研究所,湖南长沙 410073
国内会议
南昌
中文
274-282
2009-10-15（万方平台首次上网日期，不代表论文的发表时间）