摘要： 主动XML(AXML)是指一部分数据直接给出，另一部分数据以Web Services调用方式隐含给出XML文档。研究AXML重写问题，给出AXML重写系统的形式化定义，提出一个基于树自动机理论的AXML文档重写算法，并证明该算法的正确性及有效性。实验数据表明，基于树自动机的AXML文档交换方法具有良好的执行效率。
关键词:
主动XML,
数据交换,
文档重写,
树自动机
Abstract: 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.
Key words:
Active XML(AXML),
data exchange,
document rewriting,
tree automata
中图分类号:
马海涛;郝忠孝;. 基于形式语言理论的Active XML重写算法[J]. 计算机工程, 2009, 35(13): 52-54.
MA Hai-tao; HAO Zhong-xiao;. Active XML Rewriting Algorithm Based on Formal Language Theory[J]. Computer Engineering, 2009, 35(13): 52-54.