Research of Active Database System''''s Behavior Based on Parametrized Petri Net
基于参数比Petri网的主动数据库的行为研究

Although the necessity for ADS's(Active Database System) capabilities has been identified for a wide of applications,questions have been raised on the robustness of these systems . A major concern in ADS research is the issue of ECA rules termination . A multiple abstraction model,namely Parametrized Petri Net(PPN)is introduced as a tool to model and analyze ADS's behavior,modeling flexibility of ADS is enhanced . In addition,procedures to indicate ECA rules termination in an ADS is presented based on examining properties of the corresponding PPN model.