面向车联网的时空事件处理语言STEP

摘要：

车联网是物联网技术应用于智能交通领域所形成的重要研究领域。复杂事件处理技术是车联网系统数据流处理的重要方法。有别于经典的物联网系统，车联网中数据流包含大量的时间和空间信息。在复杂事件处理技术中，如何有效地表达和处理车联网的时空数据流成为亟待解决的问题。针对该问题，提出了一种时空事件处理语言（spatial-temporal event processing language，STEP）。STEP分别采用时间段和栅格地图作为时间和空间模型。基于该时空模型，首先给出STEP语言的相关时空算子和完整语法，从而有效地表达车联网中时空事件流的时空信息。然后，分别从形式语义学角度引入STEP语言的操作语义，并且从实现角度给出了基于Petri网模型的时空事件流处理算法，从而建立车联网时空事件流处理机制。最后，通过实验说明了基于STEP语言的车联网时空事件流处理机制的有效性。

关键词：物联网、车联网、复杂事件处理、事件处理语言、形式语义、时空事件流

所属期刊栏目：10

分类号：TP391(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.61370100;the National Basic Research Program of China under Grant No.2011CB302802国家重点基础研究发展计划973计划;the Shanghai Knowledge Service Plat-form Project under Grant No. ZF1213;the Project of Shanghai Municipal Science and Technology Com-mission under Grant No.14511100400

在线出版日期：2016-08-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：959-974