ECA规则中复合事件的CCPN建模与检测

事件的检测是主动数据库ECA规则执行中首要的一步,也是最重要的一步。采用条件着色PETRI网(CCPN)模型对ECA规则中的复合事件进行建模,进而通过检测复合变迁的使能状态和验证与该变迁相关联的条件,达到检测复合事件的目的。该方法既简化了模型结构的复杂性,又实现了模型的通用性。

移动数据库中的事件检测

为了有效检测移动计算环境中的事件,提出了基于Petri网的事件检测方式CCPN。该方式能直观灵活地建模事件,支持异步并发事件的检测以及时序事件的检测;讨论了主机断接以及移动情况下的事件检测。