Active XML文档安全重写判定算法
研究了AXML文档安全重写判定问题,即判定给定AXML文档通过触发其包含的服务调用生成的文档集合是否能够全部重写为符合目标模式的文档实例.基于树自动机理论,定义了用于抽象AXML文档的树自动机--ATA机(AXML treeautomata),ATA机等价于给定AXML文档通过触发其包含的服务调用所能生成的文档集合.基于ATA机,提出一个AXML文档安全重写判定算法,表明了该算法的正确性及有效性.
XML、主动XML、Web服务、文档重写、树自动机
30
TP311.13(计算技术、计算机技术)
2009-08-21(万方平台首次上网日期,不代表论文的发表时间)
共3页
3445-3447