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

Active XML Rewriting Algorithm Based on Formal Language Theory

作　　者：马海涛[1] 郝忠孝[1,2] 

机构地区：[1]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001 [2]哈尔滨理工大学计算机科学与技术学院,哈尔滨150080

出　　处：《计算机工程》2009年第13期52-54,共3页Computer Engineering

基　　金：黑龙江省自然科学基金资助项目(F2006-01)

摘　　要：主动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.

关 键 词：主动XML 数据交换 文档重写 树自动机 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]