CAJ | 학술논문

为了提高ECA规则集可终止性分析的准确性,建立了一种可描述ECA规则集的扩展Petri网(EPN, ex-tended Petri net)模型,在此基础上研究并提出了一种ECA规则集终止性判定算法.该算法充分利用EPN所包含ECA规则特性的丰富信息,综合分析了ECA规则特性对规则集可终止性的影响.理论分析和实验结果表明,所提出的算法具有更高的准确性和更低的时间复杂度.
위료제고ECA규칙집가종지성분석적준학성,건립료일충가묘술ECA규칙집적확전Petri망(EPN, ex-tended Petri net)모형,재차기출상연구병제출료일충ECA규칙집종지성판정산법.해산법충분이용EPN소포함ECA규칙특성적봉부신식,종합분석료ECA규칙특성대규칙집가종지성적영향.이론분석화실험결과표명,소제출적산법구유경고적준학성화경저적시간복잡도.
@@@@In order to improve the accuracy of the termination analysis on ECA rules, a novel representation model (EPN, extended Petri net) of ECA rules was built. Based on the EPN, an effective termination decision algorithm was discussed and proposed. By using plenty of information about the rule characteristics in EPN, the proposed termination algorithm could comprehensively analyze the influence on the termination analysis. The theoretical analysis and experimental re-sults show that the proposed algorithm has higher accuracy and lower time complexity.