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