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