摘要
事件的检测是主动数据库ECA规则执行中首要的一步,也是最重要的一步。采用条件着色PETRI网(CCPN)模型对ECA规则中的复合事件进行建模,进而通过检测复合变迁的使能状态和验证与该变迁相关联的条件,达到检测复合事件的目的。该方法既简化了模型结构的复杂性,又实现了模型的通用性。
Event detection is the first and the most important step for Event-Condition-Action (ECA) rule execution in activedatabase systems. A Conditional Colored Petri Net model (CCPN) was proposed forcomposite events specification and detection. Based on this, composite events were detected by checking composite transition enabling and verifying the condition attached on the transition. The resulting model is not only simplified but also has generality.
出处
《计算机工程与设计》
CSCD
北大核心
2005年第9期2297-2299,共3页
Computer Engineering and Design
基金
海军总装备部"十五"研究计划基金项目(101040401020)