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

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

作　　者：卑小贤[1] 陈平[1] 刘西洋[1] 

机构地区：[1]西安电子科技大学软件工程研究所,西安710071

出　　处：《计算机科学》2005年第12期68-71,共4页Computer Science

基　　金："十五"国防预研项目(413150501)

摘　　要：目前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.

关 键 词：XML文档 操作集计算 XML文档模式图 XML SCHEMA 有效性 

分 类 号：TP311.132[自动化与计算机技术—计算机软件与理论] TP311[自动化与计算机技术—计算机科学与技术]