Rule-based composite event queries: the language XChangeEQ and its semantics

Rule-based composite event queries: the language XChangeEQ and its semantics
复制标题

基于规则的复合事件查询:语言 XChangeEQ 及其语义

DOI:
10.1007/s10115-010-0334-8
复制
发表时间:
2007
影响因子:
2.7
通讯作者:
Michael Eckert
Michael Eckert
中科院分区:
计算机科学4区
文献类型:
--
作者:
François Bry;Michael Eckert

文献摘要

被引文献

相似文献

Web系统、Web服务和基于Web的发布/订阅系统将事件作为XML消息进行通信,并且在许多情况下,需要复合事件检测:对单个事件消息做出反应是不够的,但是必须考虑与随时间推移接收的其他事件相关的事件。这就需要有表达性的高级语言来查询复合事件。着重语言设计和形式语义,我们描述了基于规则的复合事件查询语言XChangeEQ。XChangeEQ旨在完全覆盖和集成四个互补的查询维度:事件数据,事件组成,时间关系和事件累积。语义是作为一个模型理论与伴随的不动点理论,一种方法,建立了规则语言,但尚未被应用到事件查询。因为它们是高度声明性的,因此易于理解并且非常适合于查询优化,所以这样的语义对于事件查询是理想的。
Web systems, Web services, and Web-based publish/subscribe systems communicate events as XML messages and in many cases, require composite event detection: it is not sufficient to react to single event messages, but events have to be considered in relation to other events that are received over time. This entails a need for expressive, high-level languages for querying composite events. Emphasizing language design and formal semantics, we describe the rule-based composite event query language XChangeEQ. XChangeEQ is designed to completely cover and integrate the four complementary querying dimensions: event data, event composition, temporal relationships, and event accumulation. Semantics are provided as a model theory with accompanying fixpoint theory, an approach that is established for rule languages but has not been applied to event queries so far. Because they are highly declarative, thus easy to understand and well suited for query optimization, such semantics are desirable for event queries.