论文部分内容阅读
复合事件处理系统多节点处以及系统外部生成的大量的、连续到达的事件，通过规则匹配、推理等方法对事件模式进行检测，连续输出经过组合后的复合事件，以触发相应的后继处理。事件查询语言是规约事件模式的声明性语言，事件代数决定了事件查询语言的表达能力，同时也间接影响了事件检测的性能。因此，在权衡检测性能与事件查询语言的表达能力时，深入分析事件代数是非常重要的手段。基于White事件代数，扩展了事件代数的形式化框架，在形式化框架中考虑复合事件在更精细的时间关系下的语义定义，以增强事件代数的表达能力，同时考虑与应用相关的