-
题名面向车联网的时空事件处理语言STEP
- 1
-
-
作者
李慧勇
陈仪香
-
机构
华东师范大学教育部软硬件协同设计技术与应用工程研究中心
-
出处
《计算机科学与探索》
CSCD
北大核心
2016年第7期959-974,共16页
-
基金
国家自然科学基金 No.61370100
国家重点基础研究发展计划(973计划) No.2011CB302802
+1 种基金
上海知识服务平台计划 No.ZF1213
上海市科委项目 No.14511100400~~
-
文摘
车联网是物联网技术应用于智能交通领域所形成的重要研究领域。复杂事件处理技术是车联网系统数据流处理的重要方法。有别于经典的物联网系统,车联网中数据流包含大量的时间和空间信息。在复杂事件处理技术中,如何有效地表达和处理车联网的时空数据流成为亟待解决的问题。针对该问题,提出了一种时空事件处理语言(spatial-temporal event processing language,STEP)。STEP分别采用时间段和栅格地图作为时间和空间模型。基于该时空模型,首先给出STEP语言的相关时空算子和完整语法,从而有效地表达车联网中时空事件流的时空信息。然后,分别从形式语义学角度引入STEP语言的操作语义,并且从实现角度给出了基于Petri网模型的时空事件流处理算法,从而建立车联网时空事件流处理机制。最后,通过实验说明了基于STEP语言的车联网时空事件流处理机制的有效性。
-
关键词
物联网
车联网
复杂事件处理
事件处理语言
形式语义
时空事件流
-
Keywords
Internet of things
Internet of vehicles
complex event processing
event processing language
formal semantics
spatial-temporal event stream
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
