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

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

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

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

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

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

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

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

软件能力可信研究综述

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

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

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

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

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

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

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

基于受约束半环的服务可信性质评价方法

引入受约束半环作为服务可信性质的描述域,提出原子服务可信特征的度量方法,依据结构化流程模型给出服务组合的可信性质计算方法.在可信特征归一化的问题上采用效用函数对不同维度可信性质进行归一化计算,并基于模糊矩阵确定将多维可信度向一维可信值规约的权重.具体的描述实例和实验说明所提出的方法能有效对服务可信性质进行描述和评价.     

结合SNMP的C/S远程管理系统的设计与实现

远程管理技术是现在及将来的一个技术热点,它可以方便维护人员在一定程度上对设备进行远程管理,有效地节约成本.针对实际要求,本文设计并实现了一个结合SNMP技术的远程管理系统,在C#下实现并通过.