| |
| With the development of the Internet of things, such as temperature and humidity sensors, radio frequency identification (RFID) devices, infrared sensors and other information sensing equipments will produce large amounts of data.
In order to distinguish each data from these sensing devices and describe more meaningful events for the users，a formal mathematical logic model is proposed in this paper. Each data from sensing devices is defined as a 6-tuple, which means an atomic event. Complex event is composed of atomic events and logical operators such as Conjunction, Disjunction, Negation and so on. We can use the model to describe atomic events and complex events, so that in complex event processing, by applying some rules to handle large amounts of data from sensing devices in real time, more meaningful events for the users among large amounts of data are discovered. For illustration, a example of a box of fruit transferred from a truck to a fruit supermarket is utilized to show the feasibility of the formal mathematical logic model in definition of events. Empirical results show that in complex event processing, the model can describe any data from information sensing equipments and more meaningful events for the users. |
|
| Keywords:Internet of Things; Complex event processing;Complex event; Atomic event |
|
