基于DTD节点自动机的XML模式验证方法

摘要：

XML已经成为Web环境中数据表示和交换的标准.XML的模式验证在XML的使用中地位重要.DTD作为模式描述的一种方法,应用广泛,但使用DTD描述的模式不能正常表示同构的XML数据.文章扩展了DTD并提出了一种基于自动机的模式验证方法,将扩展的DTD中每个元素转换为一个自动机,将XML文档编码为字符串,并将字符串作为自动机的输入进行验证,可以有效地验证同构的XML.

关键词：XML、验证、自动机、同构、DTD

所属期刊栏目：40

分类号：TP311.13(计算技术、计算机技术)

资助基金：国家部委预研基金

在线出版日期：2005-01-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：14-17