基于组合着色Petri网的空间复合事件检测机制

摘　要：通过建立空间事件模型,扩展定义了空间事件复合算子及其语义;采用组合着色Petri网构造基于空间关系的复合事件检测模型并提出基于该模型的检测算法;通过应用实例验证该检测模型是一个简洁、有效的复合事件检测机制。

关键词：空间复合事件组合着色Petri网复合事件检测

复合事件及其检测可以应用到股票交易、网络管理、航空交通控制、指挥决策等领域。随着空间信息的广泛应用,在远程监控、LBS、Location-aware计算等领域,也需要实现与空间有关的事件检测。传统空间信息应用系统中与空间有关的复合事件检测通过在应用处理逻颖嘈词录觳獾拇胧迪帧U庵纸饩龇桨覆焕谑迪挚拧⒖评┱沟耐ㄓ孟低场S捎诤芏嗍录蓖ㄓ玫?事件检测机制应该是多个应用系统共享,否则系统的维护代价较大。

对复合事件检测的研究最初是在主动数据库领域中进行的[2]。Ode采用有穷自动机实现复合事件检测。SAMOS采用着色Petri网对复合事件检测,可以携带事件流及事件参数等复杂信息。但是SAMOS也没有定义和说明Petri网的组合问题。为解决不满足交换律的复合算子的冲突问题,文献[5]引入了时序算子,提出TR-Petri网。文献[2]引入部分检测事件缓冲池和时间缓冲池对原子事件进行高效的过滤。在空间事件检测方面目前尚未展开更多的研究工作,文献[1]使用三元组{OID, TS, LOC }定义空间事件模型,支持简单的空间谓词检测,但是这种方法是基于空间对象而不是基于事件本身的空间属性。文献[4]讨论了从空间完整性约束导出数据库ECA规则的方法,由于ECA条件和动作部分可以分别在数据库中的查询处理和事务处理技术中找到相应的解决方案,而事件部分研究的不是很多。本文将在此基础上,研究基于空间关系的复合事件检测机制。

1 空间事件模型

在讨论基于空间关系的复合事件检测机制之前,首先必须形式化描述空间事件及空间事件复合算子。空间事件模型采用三元组来表示SE={EID,T,S},其中EID∈N表示事件标识;T∈N,表示等距离离散时间信息;S∈R