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

Abstract: The Internet of vehicles (IoV) is an important research area of the intelligent transportation systems using Internet of things theory. The complex event processing technology is a basic issue for processing the data stream in IoV, in which the spatial and temporal information is the character of the data stream of IoV, which is different from the classical ones in Internet of things. It is one of the core issues of the complex event processing technology in IoV, how to effectively represent and process these temporal and spatial information of the data stream. To solve this problem, this paper proposes a novel spatial-temporal complex event processing language (STEP) for the IoV. In STEP, time intervals are used to denote the temporal model and grid map is used to denote the spatial models. This paper firstly establishes the syntax of STEP based on the modified spatial-temporal relation operators, which can effectively express the spatial and temporal relationships of event instance stream of IoV. Then this paper defines the operational semantics of STEP language, and also designs the event instance stream processing algorithm based on the Petri net model. Finally, this paper uses some examples to demonstrate the effectiveness of the event stream processing mechanism based on STEP language.

Key words: Internet of things, Internet of vehicles, complex event processing, event processing language, formal  , semantics, spatial-temporal event stream