IPSec设计及实现

IP安全协议IPSec是一种可无缝为IP引入安全机制的协议套件,是目前唯一一种适用于所有Internet通信的安全技术,它除适用于目前的IP版本(IPv4)之外,也适用于下一代IP(IPv6).分析了IP安全协议的体系结构,对IP安全协议的实现方式、各个组成部分进行了讨论,给出了IP安全协议的实现机制及其应用方式,最后简单地探讨了IP安全协议的局限性和未来发展的方向.      

非单调语义网络中继承的信任理论

描述了一种新的具有例外的多继承语义网络推理方法--继承的信任理论,这是一种很具有吸引力的可废止继承方法.它应用于非循环语义网络的继承的分析,能够产生适合于继承直觉的非多义性结论.文中还讨论了Etherington的基于缺省逻辑的继承理论,提出了继承信任理论和继承信任缺省逻辑.给出了继承信任逻辑的性质,并且证明了构造继承信任缺省逻辑理论的唯一扩张是递推过程.信任理论的扩张能够快速求解.这种快速推理算法可以应用于专家系统推理.     

Web服务事务处理系统的研究与实现

Web服务具有良好的互操作性,能有效地支持软件的集成.在集成和交互过程中,Web服务需要事务的支持获得一致和可靠的结果.通过分析Web服务事务处理的基本原理、运行过程和机制,设计和实现了一个Web服务事务处理系统.该系统包括客户端、协调器、参与者和监控管理工具四部分,其中客户端创建、提交或者取消Web服务事务,协调器是管理和控制事务运行的协调中心,参与者是参与事务的Web服务,监控管理工具是提供给管理员的可视化工具.在协调器和参与者的交互过程中使用两阶段提交协议保证事务的原子性和一致性.该系统在处理过程中具有一定的实用性和灵活性,并能满足跨企业商业事务的需求.     

基于Web服务的网络软件运行平台研究与实现

Web服务运行平台是一组软件的集合,它们通过标准协议或规范进行交互,形成一个面向Web服务及其应用部署、运行、监控和管理的系统环境.平台设计依据分层处理原则,采用核心运行环境、动态服务部署和插件式资源管理的系统结构进行实现.平台通过信息门户、工作流处理、系统服务、运行管理和安全控制机制为基于Web服务的互联网软件提供了一类应用支撑框架.      

组合Web服务建模工具的设计与实现

通过分析IBM提出的Web服务流程描述语言(WSFL),设计并实现了一个基于WSFL的组合Web服务建模工具(CWSMT).该工具还可与Web服务运行环境相结合,将图形化的建模结果转换为可部署、可运行的组合Web服务,实现组合Web服务的建模、部署与运行监控过程的一体化.      

KEDE—一个集成化的知识工程开发环境

KEDE是一个知识工程开发环境,它将框架、语义网路、生产式规则、逻辑及面向对象等知识表示有机地结合在一起,具有多种推理机制和程序设计风格,提供友好的用户界面,从而构成一个功能强、使用方便的集成化知识工程开发环境,用于开发各种复杂知识的大型专家系统。本文概述了KEDE系统的总体框架,并讨论了集成化的知识表示方法和实现策略。     

Web服务组合处理系统的研究与实现

单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析服务组合的处理机制,基于传统工作流技术,使用IBM的WSFL语言作为服务组合描述语言,设计并实现了一个面向Web服务组合语言的通用的Web服务组合处理系统.这是一个多层结构的系统,它由Web服务平台、服务组合处理引擎、JMX注册管理中心、远程管理控制台以及处理引擎配置工具五部分构成;它为WSFL语言所描述的服务组合流程提供了一个运行引擎,同时提供了一个基于JMX的管理控制台,通过它可以对正在运行的流程实例以及历史数据进行控制和管理.该系统为基于Web服务的应用集成和协作提供了一个统一的运行管理环境.     

一种基于Web的工作流系统的设计与实现

工作流技术和应用软件系统的结合是计算机应用领域的一个研究方向.分析了当前基于Web的工作流技术的研发现状,提出了一种基于脚本解释、同应用数据类型无关的基于Web的工作流系统WebWFS,采用对象化的引擎结构、基于脚本语言的描述语言和IIS过滤器方式实现的引擎和Web应用之间的接口.为验证系统的实用性,以某大型应用系统中的计划管理为例,分析了系统的应用过程并对通过对比验证了系统的重用性和灵活性.