有限自动机在复合事件检测中的应用

Application of finite automaton in detection of composite event

针对早期系统只提供原子事件的检测机制,不能检测由原子事件组成的复合事件的问题,提出了用有限自动机来检测复合事件的方法。说明了复合事件的组成和表达式,利用自动机原理对复合事件的检测模式进行了分析,给出了复合事件检测的具体过程:从事件表达式到不确定的有限自动机,从不确定的有限自动机到最小化确定的有限自动机,再用程序实现了确定的有限自动机。实例表明,自动机模型是检测复合事件的一种有效实现方式。

Aiming at the problem that early system only provides atomic event detection and cannot detect composite event composed with atomic event, the model of using automaton to detect composite event is presented. A introduction to component and expression of composite event is provided. Detection model of composite event with automaton theory is analyzed, and the process of composite event detection is shown： From event expression to non-decided finite automaton, and from non-decided finite automaton to minimized decided finite automaton, then its realization of decided f＇mite automaton by programming. Through instance illuminates that the model of automaton is one of effective modes to detect composite event.