基于自动机技术的XML复杂数据类型验证

Validation for XML complex data type based on automation technique

复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键。根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法。使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率。

The validation for complex data type is primary portion of XML document validation and the key to checking whether the structure of a XML document matches its schema rule. According to automaton theory and the descriptions of complex data type in XML schema specification, this paper proposes a data structure, schema automaton, discusses the method of transforming an XML complex data type into a schema automaton, designs and implements an automaton validation algorithm to validate XML instance documents. By using schema automaton validation algorithm, the structural error can be roundly found in a XML document, the corresponding information can be accurately given, and it shows very high performance in practical application.