Active XML文档安全重写判定算法

研究了AXML文档安全重写判定问题,即判定给定AXML文档通过触发其包含的服务调用生成的文档集合是否能够全部重写为符合目标模式的文档实例。基于树自动机理论,定义了用于抽象AXML文档的树自动机——ATA机(AXML tree automata),ATA机等价于给定AXML文档通过触发其包含的服务调用所能生成的文档集合。基于ATA机,提出一个AXML文档安全重写判定算法,表明了该算法的正确性及有效性。

基于形式语言理论的Active XML重写算法

主动XML(AXML)是指一部分数据直接给出,另一部分数据以WebServices调用方式隐含给出XML文档。研究AXML重写问题,给出AXML重写系统的形式化定义,提出一个基于树自动机理论的AXML文档重写算法,并证明该算法的正确性及有效性。实验数据表明,基于树自动机的AXML文档交换方法具有良好的执行效率。