基于规则技术在面向对象系统中的集成研究

规则大量存在于面向对象系统中,反映了诸如业务流程控制、数据处理准则、信息过滤策略等特点。但由于面向对象技术本身不具备规则推理能力,因此将现有的基于规则技术集成到面向对象系统中成为一个研究的兴趣点。近年来,商务规则广泛应用更是推进了这项研究的进程。论文分析了国内外现有的集成机制,并加以比较总结。而且,在此基础上还给出了一种符合紧耦合机制的构架分析。

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

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

一种XML文档模式有效性验证算法

XML Schema作为XML文档模式的定义语言,其语法本身不能保证定义模式的有效性。该文首先分析影响XML文档模式有效性的因素,并构造了XML文档模式图。依据XML实例文档特点,分析了XML文档模式图性质,其中包括递归引用可能导致死锁发生的原因。最后,给出了XML文档模式有效性验证算法,从而弥补了常见验证工具功能的不完整。