基于超级账本的蚁群因子差分进化算法的可信服务组合优化

为了保障服务组合优化过程中的QoS数据的真实性,提出了一种基于超级账本平台的可信框架;同时为了提高服务组合的优化效率,提出了一种蚁群因子的差分进化算法的服务组合优化方法(ACOF-DE)。首先,在超级账本平台上部署相应节点,构建可信框架,保障候选服务的真实性;然后,将所提出的算法以智能合约的形式,在区块链上对服务组合的优化问题进行求解,使组合过程在可信的环境下执行。该算法通过引入多种蚁群因子,比如蚁群路径因子、最优蚁群因子、信息素因子以及基于蚁群因子的差分计算,帮助算法动态控制搜索空间、记录迭代过程中的关键信息,以提高算法优化能力。最后,通过仿真实验证明可信框架可以有效地保障数据的可信;ACOF-DE相比其他智能优化算法拥有更佳的优化效率。     

基于QoS的可信Web服务组合研究

如何合理、高效地选择和组合众多功能相似的服务,为用户提供更优质的服务,是当前SOA领域研究的重点和难点。服务质量QoS(Quafity of Service)的引入,在一定程度上保证了服务组合的合理性,但对于如何确保服务组合的可信,目前还没有一个比较完善和可行的方案。因此,提出了可信Web服务组合模型(Trust Web Service Composition Modcl,TWSCM),并通过在原有Wcb服务体系架构上增加QoS代理和可信模块来确保服务组合的质量和可信。最后,在语言网格上进行了相关实验,结果表明,该方法能为用户提供高质量、可信的组合服务,从而验证了该方法的合理性和有效性。     

基于BPEL和ws-Tx的Web服务组合事务协调框架研究

针对当前Web服务事务协调框架中缺乏对服务组合流程定义的支持而需要在协调过程中手动定义业务流程的问题,提出了一种支持流程和事务语义自动抽取的服务组合事务协调框架。该框架从扩展了事务语义的业务流程执行语言(Business Process Execution Language,BPEL)中抽取协调信息,并结合Web服务事务规范(Web Services Transaction,WS-TX)所定义的协调器实现了服务组合的全局事务协调。通过将WS-TX在事务协调和BPEL在业务流程设计方面的优势相结合,该框架将业务逻辑与事务处理逻辑有效地分离。最后通过实例分析说明了该框架的可行性。     

支持Web服务组合与验证的形式化模型

针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。     

面向信任演化与联盟的服务组合研究

除了Web服务本身的动态性和提供的服务质量有差异外,互联网上各种恶意、伪装、虚假的不真实Web服务导致用户很难快速获得高质量的服务。提出了一种面向信任演化与联盟的服务组合框架,将服务提供者与服务请求经过演化而形成一种信任关系,通过组合过程形成的信任关系再将可信的服务提供者与服务请求者演化成一种联盟关系,从而将恶意、虚假的服务排除在系统之外,使得服务组合在可信的场景中进行;在此基础上,提出了基于信任演化与联盟的服务组合选取算法,避免了以往研究中对多维可信指标简单加权的不足。经过理论分析与实验对比证实了提出的框架具有很好的服务组织质量和速度。     

TSSF:基于QoS分解的可信服务调度框架

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

一种基于BPEL4WS的语义Web服务组合框架

针对Web服务的组合问题,给出了一种基于BPEL4WS(Business Process Execution Language for Web Services)语言的语义Web服务动态组合框架.该框架把一些具有相似性的商业流程定义成一个抽象流程模板APT,每个活动节点所需服务的语义信息用PPC模型描述,并引入一个OWL-S/UDDI转换器使Web服务在UDDI上的注册信息与该服务的语义信息之间进行转换,实现UDDI注册信息与语义信息的关联,以便于语义匹配及服务绑定.通过语义匹配组件匹配选择合适的Web服务,并通过APT绑定组件把所选Web服务的相关信息动态绑定到APT模板中,从而实现Web服务的动态组合.该框架增强了Web服务组合的灵活性和动态性.     

一种可信的服务组合QoS保障机制

针对目前服务计算模型中对应用的可信性支持不足,提出并设计了一种基于虚拟服务的服务可信性保障机制.组合服务中的各个任务环节由虚拟原子服务完成,通过对应用的QoS规划、服务组合以及资源调度方法以满足虚拟原子服务可信需求,进而保障组合服务的可信特性.经过实验验证,该机制可有效保障组合服务的可信QoS要求.     

语义关联及其在组合服务选择中的应用

现有的组合服务选择方案往往认为服务质量独立于服务间的关联关系,而在实际面向服务的应用中,被选服务的服务质量却常常受到其他参与组合过程的服务的影响。文中用语义关联即服务间的语义关系来表达服务关联,分析并定义了控制逻辑关联、接口依赖关联和业务流程关联三个粒度的语义关联关系,提出了关联服务集的概念及产生方式,并将服务间的语义关联性作为服务选择的重要指标,给出了支持语义关联服务选取的QoS模型;同时通过模块化关联服务、利用顺序结构的工作流方式,设计了一种支持语义关联服务组合的选择方法,使组合服务能够更有效地提高服务质量,更大程度地满足用户需求。仿真实验表明该方法是可行且有效的。     

一种可信的自适应服务组合机制

提出一种可信的自适应服务组合机制.首先,将组合服务的可信性保证问题转换为自适应控制问题,可信性保证策略作为可调节控制器,组合服务作为被控对象,并设计了相应的系统结构;其次,在马尔可夫决策过程框架下建模和优化组合服务的可信维护过程和策略,并设计了相应的算法,实现了基于强化学习的直接自适应控制机制;最后,通过仿真实验,将组合服务的自适应维护与随机维护策略比较,表明组合服务的自适应维护具有明显的优越性.     

用基于代理的方法构建互联网业务环境

网络的最终价值在于它所能提供给最终用户的业务，而不是网络本身的通信能力．互联网已成为计算机网络业务实现的主要环境．随着互联网业务数量、种类越来越多，过程越来越复杂，人们急需构建一种合适的互联网业务环境，在此环境基础之上能够快速方便地实现业务生成、交付、配置、发现和管理，以业务为驱动来合理地使用网络资源．本文分析了业务参与方相互关系．提出了一种基于代理的互联网业务环境，确定了各种代理在业务环境中所需具备的功能，对业务过程和业务环境实现方法进行了说明。给出了一个基于此业务环境的应用实例．     

ISS-QUAL: A Measure of Service Quality for the Information Systems Function

This article details the development and validation of ISS-QUAL, a measure of service quality for the Information Systems function. The ISS-QUAL measure is based on a theoretical model which operationalizes service quality as the comparison of expectations and perceptions across three factors: service delivery, service product, and service environment. The article concludes by reporting the results of a comparison between ISS-QUAL and SERVQUAL, in which ISS-QUAL is shown to have greater explanatory power.     

用户驱动的服务聚合方法及其支撑框架

虚拟计算环境的重要目标之一,就是在动态、开放、多变的网络环境中对分布异构资源按需进行聚合,并提供有效的资源发布、发现、订阅等机制.通过服务来抽象和封装资源是资源虚拟化的主要手段之一,但现有面向服务的体系结构(service oriented architecture,简称SOA)所采用的"以服务提供商为中心"的服务组织模式容易导致用户发现和订阅服务的难度随着服务的增加而增加.提出一种用户驱动的服务聚合技术,即根据用户需求,将功能相似的服务聚合成服务池并封装为单一的虚拟服务,随后根据用户QoS需求进行自动协商,选出最佳服务或服务组合.该方法的特点在于将服务池作为用户发现和订阅的唯一实体,从用户角度将大量服务聚合成为相对稳定和统一的资源视图,屏蔽资源的复杂性、多样性和多变性,支持自动QoS协商,从而有效提高用户对服务资源的利用.     

基于语义的服务发现技术研究综述

语义Web服务是Web服务的语义扩展,它能够有效地提高服务发现的效率,并使得实现服务发现自动化成为可能。基于语义的服务发现是语义Web服务技术的核心,其关键技术包括标识语义的Web服务描述语言、基于语义的服务发现体系结构和基于语义的服务匹配算法。本文分别从这三个方面对目前基于语义的服务发现技术进行了详细的分析比较。文章最后对基于语义的Web服务发现技术进行了总结与展望。     

基于组合索引的语义Web服务发现算法

为提高Web服务发现的效率,将倒排索引和功能兼容性索引相结合,设计一种组合索引方法。组合索引由服务的加权简洁功能兼容图和输出概念的图节点倒排索引构成。基于组合索引,提出一种服务发现算法,与基于倒排索引和功能兼容性索引的服务发现算法的对比分析表明,该算法能够明显减少功能兼容性检查的次数和平均索引链长,具有较优的性能。     

一种SaaS模式下的服务社区模型及其在全国科技信息服务网中的应用

如何从服务的提供、运营和使用等多个维度有效组织和管理服务是软件即服务(SaaS)模式下面临的一个重要挑战.以支持服务发现为主要目标的传统服务管理方法难以适应SaaS模式下服务的动态有界、关联演化和可控可测等特征及满足服务全生命周期管控的需求.该文结合全国科技信息服务网实际应用,探索了一种支持科技信息资源整合共享与综合利用的"双向"SaaS模式,并提出一种适于该模式下服务管理的服务社区模型.服务社区模型支持服务元建模和业务规范及服务管控策略自主定义,可以使能面向特定业务领域的有界化和有序化服务管理.文中还针对服务管理边界的演化需求讨论了该模型下的服务社区派生机制.最后,以全国科技信息服务网中的科技信息服务运营管理为具体案例,展示并讨论了服务社区模型的使用方法、应用效果和适用范围.     

融合网络环境下快速可靠的服务组合容错方法

针对传统容错方法在融合网络环境下服务组合的低效性,本文提出了一种快速可靠的服务组合容错方法.该方法首先采用模糊逻辑,对服务的临时性故障进行服务重试;然后采用多属性决策理论,对服务的永久性故障进行服务复制;最后通过改进的粒子群算法,对永久性故障进行服务补偿.基于真实数据集的实验结果表明,所提方法在故障排除率、故障处理时间与组合最优度方面,均优于其它方法.     

基于IOQ模型的Web服务组合算法

提出一种IOQ模型及在该模型下求解构成复杂服务的各个子服务的算法,将该类服务组合问题转化为简单问题,即在满足QoS约束的服务集合中,已知服务的输入集合和输出集合,利用输出集合倒序查找各子服务及其输入集合。针对该类服务组合问题,给出算法模型及求解问题算法的伪代码。     

基于微重启技术的SOA服务恢复方法

面向服务的体系结构(SOA)将业务逻辑和具体地实现技术分离开来,利于复用和集成.SOA服务化已成为信息系统的主要发展趋势.在SOA服务特点及比较现有服务恢复方法的基础上,结合微重启(Microreboot)技术提出了一种新的基于微重启的SOA服务恢复方法,并结合项目支撑的实验平台进行验证,实验表明了该方法的实用性和高效...