公共文化服务平台

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

指令优化设计与指令缓存结构相互关系的研究: 2008年; 传统的指令优化方法通常不考虑调整指令高速缓存的硬件体系结构,只能得到局部优化结果.本文以实验的方法研究了指令优化设计和指令缓存配置之间的关系,通过实现程序指令优化并在不同指令缓存配置的平台上运行优化前后的程序,对比缓存缺失率,为进一步提高指令缓存性能提供了重要参考.实验结果表明指令缓存配置对指令优化的性能有极大的影响,在系统设计阶段同时考虑指令优化和指令缓存结构将能大幅度地改进指令缓存的性能.; 王宇英周兴社; 关键词：缓存结构

具有QoS保障的组合服务管理框架: 2011年; 在可信服务中间件架构的基础上设计了一种具有QoS保障的组合服务管理框架,在此框架下提出了QoS规划算法和服务选择算法.利用上层的重协商机制和下层的组合服务调度机制为服务提供双层的QoS保障,以最大化的满足用户的QoS需求.最后通过实验证明了框架和算法的有效性.; 武和波杨志义隋玉磊杨晓宁杨刚; 关键词：QOS QOS保障

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

一种可信的服务组合QoS保障机制被引量：7: 2011年; 针对目前服务计算模型中对应用的可信性支持不足,提出并设计了一种基于虚拟服务的服务可信性保障机制.组合服务中的各个任务环节由虚拟原子服务完成,通过对应用的QoS规划、服务组合以及资源调度方法以满足虚拟原子服务可信需求,进而保障组合服务的可信特性.经过实验验证,该机制可有效保障组合服务的可信QoS要求.; 詹涛周兴社杨刚王凯博; 关键词：可信计算

面向多自治域网格的信息服务模型及其实现被引量：4: 2008年; 网格是实现分布异构资源共享的有效模式,而信息服务实现系统服务与资源的有效管理,是网格系统的重要组成部分.ChinaGrid是由多个自治域组成的大规模网格,现有的信息服务不能满足此类系统特性与应用需求.文中提出网格信息服务体系GISA2.0,强化了域自治管理和资源信息的安全性.GISA2.0实现了可扩展的网格信息模型和面向服务、支持多种监控信息聚集的层次化信息管理框架.提出了基于分布XPath引擎的多域资源信息检索机制,实现了安全、快速和用户相关的虚拟全局资源视图.; 张海辉周兴社杨志义吴小钧杨刚; 关键词：CHINAGRID 信息服务

TSSF:基于QoS分解的可信服务调度框架: 2010年; 网络计算环境的松散化、独立性和异构性的特点不断给服务计算发展带来新的挑战,与此同时用户对软件系统实时性、安全性、可靠性、可用性等非功能属性要求又在不断提高,如何保障服务计算系统的可信性是平台设计者和服务应用开发者所面临的重要问题。设计了基于QoS分解的可信服务调度框架(Trustworthy Service Scheduling Framework,TSSF),通过对组合服务的可信QoS规划,并利用自适应的服务调度机制为服务提供可信QoS保障。提出了基于模糊集的可信QoS分解模型,将用户对组合服务的QoS需求分解为每个原子服务单独的可信QoS需求;根据分解后的额定QoS需求,以创建动态服务实体组(Dynamic Service Entity Group,DSEG)的方式为原子服务提供可信QoS保障,并以DSEG为基础详细叙述了变粒度、层次化基于反馈设计思想的自适应可信服务调度技术。最后扩展了JBoss中间件,实现了支持该服务调度框架的平台,并在此平台上进行了实验,结果表明TSSF能够为组合服务的QoS需求提供可信保障。; 隋玉磊周兴社符宁詹涛; 关键词：可信计算

一种面向服务的事件驱动架构信息集成平台构造方法被引量：14: 2008年; 信息集成方法研究对企业异构复杂应用集成具有重要的学术和应用价值.提出一种面向服务的事件驱动架构SOEDA,可构建灵活的分布式信息集成平台.采用以服务单元形式封装的适配器连接各种异构系统,通过分布式标准消息路由器作为底层平台实现服务单元的注册、发现和通信.层次化体系和模块化设计有助于提高应用系统的敏捷性、互操作和集成能力.服务单元中采用事件驱动和动态线程池技术保障了系统的高效性.引入系统外部负载、线程开销和资源冲突,采用排队论模型对其性能进行评价.实例表明采用该方法构建的SynchroESB平台能够灵活集成企业遗留系统,提供高效可靠服务.; 杨志义杨刚张海辉; 关键词：信息集成排队网络

面向QoS保障的虚拟可信服务被引量：4: 2010年; 针对服务计算模型中对应用的可信特性支持不足问题,提出面向QoS保障的虚拟可信服务VTS,并依据VTS设计了一种基于反馈控制的自适应QoS保障机制。首先将VTS的QoS保障转换为反馈控制问题,给出一种自适应QoS保障框架,再在此框架下对VTS的QoS维护过程和策略进行建模,设计和实现了相应的动态组建、调节算法和实时评估策略。最后通过仿真实验的结果分析表明,该保障机制能够有效地增强VTS对服务实体运行时的QoS保障能力。; 杨晓宁杨志义隋玉磊杨刚; 关键词：可信计算 QOS保障

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

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家高技术研究发展计划(2006AA01Z162)