在很多应用领域中，复杂事件处理已经变得越来越重要，它的应用范围包括RFID的供应链管理，点击流分析，电子医疗系统，实时入侵检测等。复杂事件处理的目的就是从有序的事件流中提取出所需的事件模式，从而做出正确的实时决策。事件流模式匹配问题是复杂事件处理中的一项重要技术，自动机模型是解决该问题的一个有效方法。　　 本文对基本自动机模型进行了研究，并深入分析了用基于基本自动机的SASE系统，指出了其中存在的不足，然后针对这些不足，设计了一种基于语法树的自动机模型。在该模型基础上，设计和实现了8种事件操作符，用这些操作符可以支持更丰富的语义和更多的消耗模式。此外，文中还给出了一些重要数据结构和算法的设计方法。　　 决定事件流模式匹配执行效率的一个关键因素就是谓词检测算法的执行效率。基本自动机模型没有考虑谓词检测中的谓词共享问题，针对这一点，本文提出了一种基于共享谓词的谓词检测算法。实验部分验证了该模型和谓词检测算法对于解决事件流模式匹配问题是可行的和高效的。