CAJ | 학술논문

主动XML系统一般采用触发器,即"事件-条件-动作"(ECA)规则来提供主动行为.本文提出了一种新的事件监测机制,在XML系统中引入‘主动节点',即把规则也融入节点,各节点上的ECA规则只需在节点修改时被激活并进行检查,提高了劝作的执行效率,增强了系统的实时性.本文结合规则实例给出了分析规则终止性的静态判定算法,引入触发图、活化图、修改后的触发图、触发环等概念,对触发图中的简单触发环进行转换,产生一个对应于触发环的循环语句,对触发环中每一个被修改的节点产生一个递归等式.展开递归等式检验它的可满足性可以用来分析规则集的可终止性.这一算法提高了可终止性判定的精确性,降低了复杂度.
주동XML계통일반채용촉발기,즉"사건-조건-동작"(ECA)규칙래제공주동행위.본문제출료일충신적사건감측궤제,재XML계통중인입‘주동절점',즉파규칙야융입절점,각절점상적ECA규칙지수재절점수개시피격활병진행검사,제고료권작적집행효솔,증강료계통적실시성.본문결합규칙실례급출료분석규칙종지성적정태판정산법,인입촉발도、활화도、수개후적촉발도、촉발배등개념,대촉발도중적간단촉발배진행전환,산생일개대응우촉발배적순배어구,대촉발배중매일개피수개적절점산생일개체귀등식.전개체귀등식검험타적가만족성가이용래분석규칙집적가종지성.저일산법제고료가종지성판정적정학성,강저료복잡도.