服务协同环境中的业务过程建模与验证

服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。     

软件能力可信研究综述

能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的,如今,系统的开发方式,系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性,首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标,从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨.     

基于ESB的实时ETL系统的设计与实现

随着数据仓库技术的应用发展,企业对数据的处理要求更短的延迟,具有一定的实时需求,而目前的大部分系统都不具备该特性。提出了一种基于ESB平台的实时ETL解决方案,通过在ESB平台上运行的组件实现ETL功能,利用实时分区加载和更新实时数据。实验表明,该设计方案能够实现实时ETL功能,并具有良好的通用性和可扩展性。     

基于JMS的分布式ESB的设计与实现

企业服务总线（ESB）是基于SOA思想的企业业务集成基础软件架构。本文在分析集中式ESB局限性的基础上,提出了基于JMS构建分布式企业服务总线的设计方案。分布式ESB实现了总线负载均衡,克服了集中式架构存在的单点故障和性能瓶颈问题,并且支持消息传输的持久性。原型系统的试验表明该设计方案有良好的应用效果。     

分布式企业服务总线的设计与实现

在分析符合JBI规范的集中式ESB局限性的基础上,提出分布式企业服务总线的设计方案。分布式ESB实现了总线负载均衡,克服了集中式架构存在的单点故障和性能瓶颈问题,并且支持消息持久性传输。原型系统的试验表明该设计方案应用效果良好。     

基于ESB的流程管理系统的研究与实现、

为了实现基于企业服务总线(ESB)的企业服务集成应用(EAI),提出一种基于ESB的业务流程管理系统的设计方法.定义了业务流程的概念,提出在ESB下实现流程管理的方法,同时,研究并给出了业务流程监控的方案.目前,该系统已经在国家基金项目中得到了应用.实际应用表明,所研究的相关系统灵活,可靠,并具有实用价值.     

ESB环境中基于代理的可信服务模型

针对ESB环境下安全隐患的特定需求,提出了基于代理的可信服务模型.模型在ESB的节点上部署一个可信服务模型的代理,采用位运算计算服务的信任度,整合最可信的服务运行流程.在符合ESB规范以及不影响性能的前提下,可以提高系统运行的稳定性和安全性.在SynchroESB平台上的应用,证明该模型的可行性、正确性和健壮性.     

基于USBKEY安全认证的互联网物配系统

针对商业机构物配敏感信息交流安全性的要求,该文提出了一种基于USBKEY安全认证的互联网物配系统。该系统利用USBKEY完成身份认证,用USBKEY内置的加密算法和密钥完成对物配资料的加解密、签名,会话密钥的传递,本地文件的加密隐藏等。整个系统安全性高、独立性强、开发成本较低。     

一种能够描述可信特征的进程代数

针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系统行为的同时体现出其可信特征.进一步引入互相似距离的概念以考察2个进程在多大程度上是能够互相模拟的,并研究了QPi与之相关的若干性质.具体的实例描述说明了该代数方法的有效性.     

基于ESB的BPM平台的研究与实现

从系统的角度研究了一种基于ESB的BPM平台NpuESB的设计与实现.在设计符合JBI规范的分布式企业服务总线技术的基础上,提出一种分层体系结构的BPM平台设计方案.研究了设计与实现过程中的关键技术,提出了基于Pi演算的BPM环境中的流程建模方法和分布式ESB的设计方案.通过引入中央服务器实现了ESB环境和流程的集中管理,实现了可视化的流程和ESB管理工具.原型系统的应用实验证实了系统的有效性和实用性.