比西德语 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出版物在zbMATH中 年份 biXid:一种用于XML的双向转换语言。 Zbl 1321.68127号川中、新亚;细野县细野 2006 全部的 前5名15位作者引用 2 内特·福斯特 2 细野县细野 2 本杰明·皮尔斯。 1 戴维·巴博萨。 1 亚伦·博哈农 1 朱利安·克雷丁 1 J.Nathan福斯特 1 迈克尔·D·格林伯格。 1 川中、新亚 1 松田和川 1 格雷格·莫里塞特 1 亚历山大·皮尔基维奇 1 阿兰·施密特 1 Tan、Gang 1 Janis Voigtlander公司 连载1篇 1 自动推理杂志 在2个字段中引用 7 计算机科学(68-XX) 1 总体主题;集合(00-XX) 按年份列出的引文