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
中科院分区:
文献类型:
--
作者:
François Bry;Michael Eckert
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.