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

Active XML Rewriting Algorithm Based on Formal Language Theory

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

Active XML（AXML） is an XML document where some of the data is given explicitly while other parts are given intentionally, by means of embedded calls to Web services. This paper gives an AXML document, a specification describing intensional data and a target exchang schema. It formalizes the problem based on formal languages theory and provides an algorithm to solve it. It also presents an implementation of test environment of AXML exchange. Experimental result demonstrates that the algorithm based on tree automata can lead to the increase of efficiency on exchang AXML documents.