ON DENOTATIONAL SEMANTICS OF THE COMPLEX EVENT QUERY LANGUAGE STECEQL
Huiyong Li, Yixiang Chen
Software Engineering Institute, East China Normal University, N. Zhongshan Rd. 3663, Shanghai, China
With the complex event processing technology has been widely used in processing the information of the internet of things, many scholars have proposed a lot of event query languages(EQL) for different scenarios. Early scholars generally study the operational semantics of EQL. Recently, many researchers begin to pay attention to the correctness of the operational semantics of the EQL. Some researchers have shown the correctness of the operational semantics by proven the equivalence between the denotational semantics and the operational semantics of EQL. The internet of vehicles is an important research branch of internet of things and it has a very wide range of applications. STeCEQL is a spatial and temporal constraint EQL for the internet of vehicles. In this paper, we focus on the correctness of the operational semantics of STeCEQL. We mainly establish the denotational semantics of STeCEQL. Finally, we prove the equivalence between the two semantics of STeCEQL. Therefore, the operational semantics of STeCEQL are correct.