基于有限状态自动机的复合事件检测的程序实现

通过对复合事件的自动机检测模型的研究,讨论了构造事件表达式的自动机模型的完整过程。给出了在DFA向程序转化的过程中两种代码产生算法:直接代码生成算法,表驱动代码生成算法。

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

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