使用DTD优化XML数据流上的XPath查询

如何在XML数据流上高效地执行XPath查询,是XML数据流管理的关键问题。DTD结构信息对提高XML查询效率有很大帮助,已有的大部分算法没有利用这一资源。提出了一种使用DTD进行XML数据流查询处理的方法,具有以下特征:利用树自动机表示XPath;通过XPath树自动机与DTD树匹配,预先标识不匹配查询结构的DTD节点;给出一种利用DTD的XML流索引方法DBXSI;执行查询时,根据流索引信息直接跳过某些与查询不匹配的节点及子树。实验结果表明:该方法可有效支持Xpath查询,效率优于传统算法。     

用JavaCC和JJTree构造扩展模式文档解析器

XML正成为互联网中数据表示和数据交换的标准.扩展DTD支持面向XML的查询,但结构复杂,现有工具无法解析扩展DTD,获取元素之间的面向对象信息.利用JavaCC和JJTree设计解析器,包括构造语法和语义分析器,设计扩展DTD的语法规则和解析器的类结构,从而解析扩展DTD,利用解析后的扩展DTD的语法树获取面向对象信息,方便高效,不仅支持XML存储建立,而且支持面向对象XML查询方式,使得查询方式更为灵活多样.     

确定型语言的相关研究综述

随着互联网应用的不断普及，XML(可扩展标记语言)在数据库、数据传输等方面的作用也越来越大。一般而 言，XML 文档的结构都是由 XML 模式语言来定义，比如 DTD 和 XML Schema。文章主要对 DTD 和 XML Schema 的内 容模式约束，即确定型正则表达式进行研究，分别详细介绍确定型表达式、确定型语言、及相关问题的研究现状。文章 首先给出确定型表达式的定义及相关概念。接着，介绍几种确定型表达式的判定算法。然后，分析确定型语言的判定、 对应确定型表达式的生成、及近似确定型表达式的生成等问题。 文章最后还列举一些其他相关问题的研究。     

基于Schema的XML模式与关系模式映射算法的研究

可扩展标记语言XML的模式有两种类型,DTD模式和Schema模式,目前的一些有关XML模式与关系模式映射算法大部分是基于DTD模式来实现的,而基于Schema的映射算法的研究具有更重要的意义,本文在介绍信息系统的基于XML的信息交换机制的基础上,详细分析了基于Scheme模式的映射算法的一些基本规则。     

基于CRLE的元数据存储

元数据的存储是实现元数据管理的前提。介绍了一个基于XML的本体描述语言CRLE,以该语言作为元数据的基准,分析了CRLE语言与DTD文法的对应关系,并构造了把CRLE语言定义下的本体概念转换为DTD文档的算法,通过元数据和DTD的结合,实现了元数据的XML文档存储。实验表明,该算法可以有效地解决元数据的DTD文档存储。     

DTD的规范化

一个设计良好的DTD对于XML应用来说是必须的，从消除文档内数据冗余的角度出发研究了这一问题。函数依赖是数据语义的重要组成部分，将它引入到XML的领域中。给出的函数依赖可以是绝对的，也可以是相对的，键只是它的一种特例。讨论了逻辑蕴涵及其相应的推理规则，并证明了推理规则集的正确性和完备性。基于函数依赖，提出了规范化的DTD概念，并给出了一个将DTD转化为规范化形式的算法。     

用JavaCC和JJTree构造扩展模式文档解析器

XML正成为互联网中数据表示和数据交换的标准。扩展DTD支持面向XML的查询,但结构复杂,现有工具无法解析扩展DID,获取元素之间的面向对象信息。利用JavaCC和JJTree设计解析器,包括构造语法和语义分析器,设计扩展DTD的语法规则和解析器的类结构,从而解析扩展DTD,利用解析后的扩展DTD的语法树获取面向对象信息,方便高效,不仅支持XML存储建立,而且支持面向对象XML查询方式,使得查询方式更为灵活多样。     

基于对照标记实现对XML数字编码索引

基于DTD采用XML对照标记方法,对XML进行数字编码索引。这种索引方法考虑到了XML的半结构化的特点,研究了如何将XML文档与其DTD文件进行对照标记,利用DTD使XML文档的索引进行改进。使用这种方法可以实现XML内容和结构的分离,把对结点标记的查询,统一转换到了对DTD的查询,节省了查询时间。     

XML模式到关系数据模式转换的研究

分析和研究了DTD模式到关系模式的内联映射算法,提出一种带约束条件和函数依赖的映射方法。该方法结合给定规则对XML DTD进行简化,构造带约束条件的DTD图,并依照图中的一些函数依赖关系以及函数依赖关系的讨论得到最终关系集合,在引入映射方法的同时给出实例进行介绍,从而得到更加完备的关系模式。     

基于DTD的XML对照标记方法

基于DTD采用XML对照标记方法,对XML进行数字编码索引.这种索引方法考虑到了XML的半结构化的特点,研究了如何将XML文件与其DTD文件进行对照标记,利用DTD使XML文件的索引进行改进.使用这种方法可以实现了XML文件内容与结构的分离,将对结点标记的查询,统一转换到了对DTD的查询,节省了查询时间.     

Distributed XML processing: Theory and applications

Basic message processing tasks, such as well-formedness checking and grammar validation, common in Web service messaging, can be off-loaded from the service providers’ own infrastructures. The traditional ways to alleviate the overhead caused by these tasks is to use firewalls and gateways. However, these single processing point solutions do not scale well. To enable effective off-loading of common processing tasks, we introduce the Prefix Automata SyStem — PASS, a middleware architecture which distributively processes XML payloads of web service SOAP messages during their routing towards Web servers. PASS is based on a network of automata, where PASS-nodes independently but cooperatively process parts of the SOAP message XML payload. PASS allows autonomous and pipelined in-network processing of XML documents, where parts of a large message payload are processed by various PASS-nodes in tandem or simultaneously. The non-blocking, non-wasteful, and autonomous operation of PASS middleware is achieved by relying on the prefix nature of basic XML processing tasks, such as well-formedness checking and DTD validation. These properties ensure minimal distributed processing management overhead. We present necessary and sufficient conditions for outsourcing XML document processing tasks to PASS, as well as provide guidelines for rendering suitable applications to be PASS processable. We demonstrate the advantages of migrating XML document processing, such as well-formedness checking, DTD parsing, and filtering to the network via event driven simulations.     

接口自动机的良构性检测算法及其实现

针对构件式系统中任一构件的非良构性会导致系统不能正常运行的问题,提出一种基于接口自动机（IA）来分析和检测构件良构性（well-formedness）的算法,并据此实现了一个构件良构性检测原型系统。该算法首先构造与接口自动机同构的可达图;其次,基于可达图通过深度优先遍历生成一条覆盖所有迁移的有序集;最后,根据该有序集检测在外界环境满足其输入假设的情况下,每个属于方法的活动到其对应返回活动的路径的自治无异常可达性,从而实现接口自动机的良构性检测。根据所提算法在Eclipse平台设计并实现了构件良构性检测原型系统T-CWFC,该系统通过JFLAP建立构件的接口自动机模型并构造其可达图,进而对接口自动机作良构性检测并输出相关检测信息。最后通过对一组构件的良构性检测实验验证了算法的有效性。     

正规树文法的产生式相交判定

在针对产生式不相交的正规树文法的XML类型检查中,需要对正规树文法的产生式进行相交判定.基于正规树文法的产生式的构成特点,提出了基于自动机的相交判定算法.根据产生式的内容模型即正则表达式,构建相应自动机,判定两个自动机的交是否为空,该算法的时间复杂度为O( ‖ E1‖·‖ E2‖·|∑E1 ∪∑E2 |).实验结果表明,该算法运行正确且高效,可以应用到针对产生式不相交的正规树文法的XML类型检查中.     

XML模式的扩展研究

XML是目前已被广泛采用的WWW上信息交换和表示的技术之一，被称为Internet时代的通用数据格式。首先针对现有的XML语法进行了抽象及封闭性分析，得到了扩展XML语法，然后开发了一个分析器，对由此扩展语法生成的对象进行分析，实验表明，扩展后的XML语法具有较W3C规范的XML语法有更一般的表现力。     

用Xerces-J进行基于XML Schema的XML局部验证

XML验证，特别是局部验证，是XML应用中的一个关键问题．调研分析了Xerces—J2工具包中的基于XML Schema的XML解析、验证体系，它是一种延迟的整体验证．利用Xerces—J2，设计实现了基于XML Schema的XML局部验证接口，包括类型检查和ID约束检查等．     

可扩展XML文本数据自动分析研究与实现

XML是目前已被广泛采用的WWW上信息交换和表示的技术之一,被称为未来的数据通用格式。文中对现有的XML语法进行研究,用新的文本方式表示XML数据,针对可扩展XML数据的一些特殊形式提出了一些新的概念模式并证明了有效性和正确性,同时对语法可简化性进行了证明。针对相应的特殊XML语法形式开发了相应的自动机分析算法并进行了分析。     

事务工作流的建模和分析

事务工作流由若干个事务组成，其执行满足松弛原子性．只有良构的事务工作流才能保证所有执行均满足松弛原子性．事务具有不同的可补偿特性和可重复特性，在包含多种控制结构的复杂事务工作流中，事务之间组合失配问题可能造成事务工作流的非良构性．该文给出了事务工作流模型及良构性的形式化定义，提出了一个良构性判断定理，通过一种构造性的方法来有效地验证事务工作流的良构性，还设计了事务工作流的描述语言ISWDL并实现了良构性验证器．     

Checking determinism of XML Schema content models in optimal time

We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors vulnerable to exponential resource needs by pathological schemas, and we help to eliminate this potential vulnerability of XML Schema based systems. XML Schema content models are essentially regular expressions extended with numeric occurrence indicators. A previously published polynomial-time solution to check the determinism of such expressions is improved to run in linear time, and the improved algorithm is implemented and evaluated experimentally. When compared to the corresponding method of a popular production-quality XML Schema processor, the new implementation runs orders of magnitude faster. Enhancing the solution to take further extensions of XML Schema into account without compromising its linear scalability is also discussed.     

Statically safe program generation with SafeGen

SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen compiler, then the generator will only generate well-formed Java programs, for any generator input. In other words, statically checking the generator guarantees the correctness of any generated program, with respect to static checks commonly performed by a conventional compiler (including type safety, existence of a superclass, etc.). To achieve this guarantee, SafeGen supports only language primitives for reflection over an existing well-formed Java program, primitives for creating program fragments, and a restricted set of constructs for iteration, conditional actions, and name generation. SafeGen’s static checking algorithm is a combination of traditional type checking for Java, and a series of calls to a theorem prover to check the validity of first-order logical sentences, constructed to represent well-formedness properties of the generated program under all inputs. The approach has worked quite well in our tests, providing proofs for correct generators or pointing out interesting bugs.     

一种BPEL结构演化算法研究*

针对BPEL并发同步引发的数据竞争、流程阻塞等问题,提出了一种BPEL结构演化算法。该算法的基本思想是利用BPEL基于XML编写的事实,使用XML 解析工具对BPEL的结构进行调整,达到规避失败的同步过程,删除冗余link结构的目的。利用自主开发的转换工具实现BPEL到形式化描述语言LOTOS的转换,通过对演化前后的BPEL流程做模型检测,来验证该演化方法的可行性。实验结果表明BPEL结构演化算法能够有效缓解BPEL并发同步带来的数据竞争、流程阻塞问题。