×

比西德语

swMATH ID: 12667
软件作者: 川中、新亚;细野县细野
描述: biXid:一种用于XML的双向转换语言。通常,独立组织出于类似目的定义和提倡不同的XML格式,因此,应用程序需要在这些格式之间相互转换。现有的XML转换语言,如XSLT和XDouce,对此并不满意,因为我们必须编写两个程序,例如,在两种格式的情况下进行正向和反向转换,这将导致高昂的开发和维护成本。par本文提出了双向XML转换语言biXid,允许我们只为两个方向的转换编写一个程序。我们的语言采用了一种通用的编程关系范式,其中程序定义了文档之间的关系,并以满足这种关系的方式将文档转换为另一个文档。我们在这里的贡献是促进现实转换的特定语言功能,其目标格式大致平行,但在细节上有许多差异。具体来说,我们(1)采用XDouce-style正则表达式模式来描述和分析XML结构,(2)完全允许处理没有等效表达式的格式时出现歧义,(3)允许非线性模式变量来表示不能仅用线性模式编写的非平凡转换,例如无序数据和有序数据之间的转换。par我们进一步开发了一种有效的biXid评估算法,包括将输入文档转换为中间“解析树”结构的“解析”阶段和将其转换为输出文档的“未解析”阶段。这两个阶段都使用有限树自动机的变体,通过使用“维护所有可转换状态集”的标准技术,对输入或解析树执行一次扫描阶段具有挑战性,因为歧义会导致使用解析树的不同方式,从而导致可能具有不同结构的多个可能输出。我们实现了一个biXid原型系统,并通过几个实际的双向转换(包括vCard-XML和ContactXML之间的双向转换)的实验验证了它具有足够的表达能力和线性时间性能。
主页: http://dl.acm.org/citation.cfm?id=1159830
关键词: XML格式;树自动机
相关软件: X苏加;X减少;岩盐矿;贝克斯菲尔德;GDSL公司;BAP(BAP);BitBlaze公司;Coq公司;OCaml公司;CDuce公司;Xqueeze(缩放);放松NG;dk.brics.自动机
引用于: 7文件

连载1篇

1 自动推理杂志

按年份列出的引文