一种基于操作集计算生成有效XML文档的方法

An Approach for Creating Valid XML Document Based on Operation Set Computing

目前XML工具的编辑能力不足以保证生成有效的XML文档,缺乏对文档模式的合理利用。而由XMLSchema定义的文档模式,不仅提供了有效性验证标准,同时蕴含了生成有效XML文档的准则。本文提出了一种生成有效XML文档的方法。该方法基于XML文档模式图定义不同节点的操作集合,以及该操作集合上的计算和相应操作语义,并分析论证了该方法本身的有效性。

Currently XML tools cannot guarantee the validity of XML document. They aren＇t built upon document schema well. Document schema defined by XML schema provides not only the validating criterion, but also implies the rules for generating valid XML documents. In this paper, an approach is provided for creating valid XML documents. It is implemented by computing operation sets defined on the schema graph of XML document. And semantics of operations is specified. Also its validity is proved.