基于HTN规划的语义Web服务自动组合

面向服务体系结构(SOA)逐渐成为企业信息集成的主流技术,面对不断变更的用户需求和集成困难问题,自动化的服务组合是实现SOA的关键技术.语义Web服务使用本体描述语言对Web服务进行语义标注,使Web服务的自动发现、自动调用和自动组合成为可能.探讨了OWL-S和HTN规划等相关技术,给出了基于规划的语义Web服务组合方法,使用OWL-S API、JSHOP2规划器和JESS知识库,设计了一个基于HTN规划的语义Web服务自动组合系统.该系统由服务抽取器、服务编辑器、转换器、规划器、知识库和执行引擎等模块组成,实现了Web服务组合的自动化,并利用模糊约束表达用户偏好,使用分支限界法对HTN进行分解,实测结果表明用户满意度有显著提高.     

基于改进层级任务网络规划的Web服务自动组合

为了在单一Web服务无法满足问题求解需求时可以自动地组合多个Web服务以解决复杂问题,利用服务本体描述语言OWL-S对常规Web服务进行语义封装,并选用层级任务网络(HTN)规划作为技术手段.在分析了OWL-S与HTN的相似性后,对HTN的操作算子(operator)和方法(method)定义进行改写,并对常规HTN规划算法进行扩展,使之成为具有领域知识的HTN规划,更适用于解决领域相关的服务组合问题.最后提出了一种基于改进HTN规划的服务自动组合规划器框架并搭建了试验系统.案例研究结果表明,这种改进的HTN规划算法在领域本体的配合下可以有效支持Web服务的自动组合.     

一种支持用户偏好的语义Web服务组合算法

Web服务组合是Web服务系统架构的重要组成部分,语义Web技术的出现使智能Web服务的实现成为可能。随着服务数量的指数级增长,支持用户偏好的服务质量度量技术在Web服务架构中发挥着越来越重要的作用。本文在现有的语义Web服务组合技术的基础上,提出基于服务质量度量的一种支持用户偏好的语义Web服务组合方法,在完成用户服务请求的同时,能够更好地满足用户的个性化需求。     

采用PDDL的Web服务组合方法研究

针对单个智能(AI)规划器在解决Web服务组合问题时通用性不高以及性能受问题搜索空间影响较大的情况,基于本体描述语言(OWL-S)和规划描述语言(PDDL)结构上有极大的相似性,提出了一种将Web服务转化为PDDL描述的算法.该算法通过对OWL-S和PDDL中相应元素的转换,将Web服务组合问题成功地转换为规划问题.完成该转换后,就可自由选择AI规划器对Web服务进行组合.以查询天气信息作为组合案例,对本文提出的组合方法进行了验证,结果表明,文中所提的组合方法可用于解决Web服务组合问题,提高了AI规划器在Web服务组合问题上的普适性.     

支持动态服务组合的Web服务封装

针对如何将包含复杂操作的Web服务封装成Web服务社区和Web服务簇这一问题,提出一种基于Web服务日志,使用序列模式挖掘技术的Web服务封装方法.该方法对Web服务日志进行序列模式挖掘以获得业务功能服务序列,使用获得的序列将Web服务封装成业务功能服务,进而封装成服务社区和服务簇.使用该方法可以有效地将包含复杂操作的Web服务封装成支持动态服务组合的服务社区和服务簇.     

一种集成网络化与智能化的供应链技术创新模式研究

研究在供应链环境中，应用Web服务和Agent技术的网络化与智能化的集成创新模式．该模式可以及时匹配顾客供需服务，实时地协同供需关系．Agent技术使得Web服务具有一定的智能特性，能够按照任务特点设置意图和承诺，直到完成供需服务；而Web服务技术又使得Agent实现了供应链系统的网络化，Agent无须考虑企业系统平台异构情况，实时地协调Web服务，重置和执行工作流任务，从而达到供应链协同、集成管理的目的。     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

基于领域本体的Web服务组合的消息处理

目的在Web服务应用中,研究将多个服务组合成一个能完成复杂任务的组合服务技术。方法探讨一种基于领域本体的Web服务组合的消息处理方法,用它来处理信息并生成优化的服务组合图,在此基础上给出一个高效的服务组合算法。结果该算法综合考虑了服务的语义、服务组合的质量和服务组合的效率,能够自动地根据服务请求实现服务组合,方便灵活地实现消息处理,可以解决复杂的信息处理需求。结论基于领域本体的W eb服务组合的消息处理方法有较好的性能并且提高了处理消息的效率。     

Web服务选择优化算法的设计与实现

为了提供满足客户需求的组合Web服务,将Web服务的属性分为功能属性和非功能属性(即服务质量QoS属性).通过服务类对功能属性进行划分,并按照服务类以QoS属性的组合类型方式进行服务组合.提出了将基于QoS的服务选择转换成有限方案的多目标决策问题,同时给出选择组合服务的最优执行计划的规划算法.实验表明此方法既利用了现有工作流技术的成果,又具有动态绑定和QoS支持.     

基于SPIN的BPEL4WS建模与验证研究

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS (Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.     

基于Petri网的语义Web服务组合方法

Web服务的自动组合是一个具有挑战性的任务,因为独立开发的Web服务相互组合并不都是兼容的。为了解决Web服务之间的异质性和提高Web服务组合的质量,文中提出了一个基于语义Web服务组合的的新途径,它广泛应用Petri网和本体。文中构建一个语义Web服务组合框架,该框架中扩展其本体内知识领域和建立了交互式Web服务的Petri网模型,该模型并结合本体配有调解能力。最后用一个具体实例验证Web服务组合的办法是可行的。     

面向物流应用场景的Web服务查询与组合

为解决物流行业中运输服务查询所存在的弊端,探索Web服务查询与组合的智能化方法.通过创建Juddi注册中心,将Juddi注册中心和UDl914J相结合,实现JSP页面的面向物流场景的Web服务发布与查询.利用业务流程执行语言(BPEL)技术对服务进行选择与组合,从而实现面向物流场景的智能化Web服务查询与组合.试验结果表明,组合结果符合实际要求.     

基于双向动态规划质量有保障的组合服务选取

文章针对当前基于QoS的组合服务选取的不足,从通用服务质量、领域相关服务质量和业务的组合关联度3个方面考虑组合服务选取,充分保证了组合服务的质量,并将组合Web服务选取问题转化为最长路径选取问题,给出了一种双向动态规划的求解策略.     

Web服务组合方法综述

将分布在Internet中的Web服务进行无缝集成能帮助企业高效的开发分布式应用,实现企业异质异构资源的快速融合,达到企业服务增值的目的。目前服务组合的研究得到了学术界和工业界的广泛关注,提出了众多的服务组合方法。本文根据服务组合目标任务的不同将这些方法分成业务流程驱动的服务组合方法和问题求解的服务组合方法两大类,就当前主要的服务组合方法进行介绍,最后提出服务组合技术发展所面临的问题和今后的趋势。     

一种面向本体的语义Web服务组合框架研究

语义Web服务是由语义Web和Web服务结合研究的产物,其研究一直在聚焦在语义服务识别、智能处理,以及选择、发现和组合上,很少涉及到语义Web服务组合的框架方面的研究,因此针对这个问题,本文构建一种面向本体的语义Web服务组合框架,从信任保障机制、调度机制、映射系统、反射机制角度建立语义Web服务组合框架结构,并通过在JAVA下开发一个该框架的实验原型的程序集部署在Tomcat上,并以Amazon提供的Web服务数据进行实验表明：该框架有效、可用。     

一种费用最廉的Web服务动态组合算法

针对现有组合服务选取的算法因其复杂度太高而难以在实际环境中应用,提出了一种 Web 服务动态组合优化算法.该算法利用最优化原则在服务组合图中求解一组执行费用最廉、满足用户需求的 Web 服务.     

基于动态Web服务组合的虚拟企业系统集成构建

针对虚拟企业业务过程动态组合的特点,在面向服务的框架体系下,对Web服务描述进行扩展,从而实现Web服务的开发与部署完全分离,在面向动态工作流的Web服务组合过程中,根据实际的应用需求,实现Web服务的动态组合与执行。在此基础上,构建了基于动态Web服务组合的虚拟企业系统集成模型。     

基于流演算的语义Web服务组合研究

针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述; 然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则; 再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.     

基于NuSMV的Web服务失配限界模型检测

目前,Web服务组合已成为Web服务领域的研究热点,Web服务失配检测是保证服务正常组合的基础.当服务模型状态数较大时,现有的失配检测方法将面临状态空间爆炸问题,本文采用限界模型检测技术,提出一种基于NuSMV的Web服务失配检测方法.该方法能够有效地处理服务模型状态数较大时的情形,并且能够实现在异步通信模式下进行Web服务失配的自动化检测.最后通过实验说明了该方法的可行性.     

家居智能Web 服务的SOA 框架

为增强智能家居的个性化与智能化水平, 提出由资源层、适配层以及感知应用层组成的智能家居体系结构。建立了家居设备操控的原子Web 服务, 并基于Web 服务组合形成家居智能的SOA(Service-OrientedArchitecture)框架。实验结果表明, 该方法可对源于不同智能家居规范及不同组网模式中的设备统一管理和操控, 可为智能服务开发商与家居设备供应商构建协作平台, 降低双方数据交互的难度, 从而在自身领域内更好地发展智能家居服务。