摘要：XML的半结构化特性造成了NativeXML数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为NativeXML数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.

摘要：介绍了基于角色的访问控制(Role-Based Access Control,RBAC)模型的理论基础与特点,并根据轻量级应用的需要设计并实现了一个具有一定可重用性的访问控制模型系统,为相关系统的设计提供了应用范例。

摘要：集成Struts、Spring、Hibernate框架技术构建基于J2EE的Web应用可以提高J2EE项目的可重用性。介绍框架技术的原理以及集成上述三种框架技术的Web应用框架。并给出一个该框架设计下的模型系统的实现,为相关Web应用系统的设计提供了范例。

摘要：已有的HTML表单已经不能满足当前各类新兴的Web应用的需求。虽然W3C已经提出了新一代Web表单标准——XForms,但XForms处理器的研究尚在起步阶段。阐述了XForms表单的分层定义思想以及处理模型,分析和研究了XForms规范,提供了一个基于本规范的XForms客户端处理器的实现方法。

摘要：描述了XML编辑器CPWORD的设计与实现。提出了TOM和DOM两种模型转换实现普通文本转换为XML文件的方法。采用定义辅助审查语言ACL的方法实现专利文件的辅助审查功能，使编辑器具备了智能化特点。

摘要：RBAC模型通过角色的概念实现了用户和权限的分离,然而在角色继承和权限分配时可能会引发策略冲突.策略冲突可能会导致资源的非授权访问,进而影响系统的安全性.为了检测RBAC模型中的策略冲突,本文首先对策略冲突进行了分类,提出了基于着色Petri网的RBAC策略冲突检测方法,将RBAC模型转化为着色Petri网模型,利用冲突陷阱进行检测.进而设计实现了RBAC策略冲突检测原型系统CPNPCDS,说明了模型的可终结性,并在检测策略冲突的种类与运行效率上与其它经典方法做了对比.实验结果表明本方法可以有效地检测出授权冲突、职责分离冲突、用户基数冲突等三种策略冲突,并能取得较高的运行效率.

摘要：介绍了利用传统的交换技术和先进的计算机网络技术实现政府服务热线系统的总体结构、系统各组成部分之间通信的设计与实现、各部分功能的实现等。

摘要：结合国家知识产权局电子政务CPEASY系统,给出了其中发布系统的设计与实现。重点介绍了电子支付子系统的设计以及基于J2EE平台的发布系统实现,为相关电子政务系统的设计提供了范例。

摘要：介绍业务规则的概念,分析已有的面向业务人员的规则描述语言和规则描述形式,总结出将业务对象的概念引入到规则描述语言中,会有利于业务人员对规则描述语言的理解和掌握这一结论。然后结合电子申请文件审查业务规则的实际建立业务对象模型,为业务人员设计一套"IF…THEN…"句型的结构化汉语规则描述语言,即面向业务人员的基于对象的规则描述语言,并提供转换机制将其翻译成规则引擎能识别的Ru leML描述的规则形式。

摘要：随着信息技术和计算机网络技术的不断发展,更多的企业需要通过网络进行业务处理,传送相关文件。本文给出了在这一领域中的应用服务器的设计方案,验证用户身份、审查相应文件的合法性、安全传输文件以及管理相应数据区。