基于语义关系图的Web服务自动组合方法

针对基于图搜索实现Web服务自动组合存在搜索空间太大以及难以表达各种组合结构的问题,提出一种基于语义匹配关系确定组合结构的方法。该方法首先对Web服务进行形式化的语义描述,然后基于语义匹配关系,将服务库中只与用户请求的输入输出关联的服务构成语义关系图。在此基础上,基于语义匹配关系定义各种组合结构模型,以综合语义匹配度为寻优目标改进广度优先搜索算法,定义不同结构的语义匹配度计算方法,生成一条综合语义匹配度最优的Web服务组合路径。通过实例验证了该算法的可行性。     

基于本体的Web服务查找和合成技术研究

提出利用本体为Web服务按领域建立统一的、抽象的概念模型，为基于语义的服务查找和服务合成的异构问题提供了新的解决方法。通过应用本体领域分类概念和DAML语义标签，对Web服务进行标准化表示。文中给出了该功能模块的总体设计框架，主要包括服务查找模块，服务合成异构解决模块和标准服务定义模块，并给出了解决策略。     

基于语义标注的Web服务发现组合策略

为Web服务的提供者以及服务请求者在服务描述以及服务请求中加入相应的语义信息能消除Web服务中服务的查找和匹配环节参数的语义上的模糊性.将有助于服务的自动发现和组合.提出通过语义标注的方法在服务发现组合过程中添加语义信息,构建语义Web服务网络.并利用Web服务功能属性之间的语义关联,使用基于反向推理机制的自动组合算法形成语义Web服务组合方案选出能有效满足客户需求的服务组合.     

基于语义的制造网格服务自动组合

研究制造网格中基于语义的服务表示,在此基础上提出了一种基于语义的逆向递归服务自动组合方法。该方法面向用户目标搜索制造网格服务,生成备选服务组合,然后采用TQCSEKL七项指标评价备选组合的综合服务质量,从中选出最优组合。服务组合的结果存储到共享仓库,支持基于目标匹配的查找和局部调度重用。实现了一个基于语义的企业制造网格系统,验证了方法的有效性。     

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析.结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网.将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础.     

基于参数推导图自动构建Web服务组合流程

针对目前大多数Web服务组合流程都需要人工设计的问题,提出一种基于参数推导图自动构建Web服务组合流程的方法.该方法给出Web服务的谓词表示形式.通过建立参数推导图中的四种关系和构造算法,实现了Web服务组合的图形建模;然后定义参数推导图的完全关联矩阵,通过对关联矩阵的行实施合并运算,自动将参数推导图转换成以Web服务为节点、以服务间依赖关系为边的服务组合流程图.理论分析和实验结果证明了该方法的有效性和可行性.     

一种基于有色Petri网的语义Web服务组合验证机制

Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行.针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则.在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构.另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败.最后,通过实例直观地描述了建模与验证的工作过程.     

基于Web服务的企业应用组合模型研究

由于传统企业应用集成方法基于各自标准,在数据定义、访问模型等方面不一样,因此各自应用不易互相连接.Web服务由于具有开放和跨平台特性,在电子商务等方面具有广阔应用前景.基于传统应用集成方法的缺陷,本文提出一种基于Web服务的企业应用组合模型,并讨论了模型中Web服务的调用过程.此模型还考虑了并发控制问题.目前此模型在某行业中已得到成功应用.     

基于本体的制造网格服务自动链接

研究了一种基于本体、面向服务功能自动生成制造网格工作流构架的方法。制造网格本体采用制造领域本体与网格服务本体集成的方法来构建，前者由STEP集成资源、TOVE、PSL以正交方式分别实现产品、企业和制造过程子本体，后者通过扩展Web服务本体OWL—S实现。服务功能采用基于制造对象特征的输入、输出和基于制造任务的前提条件、效果组成的四元组建模，使用制造网格本体描述。在此基础上，提出了一种服务正向递进自动链接算法，它能够依据用户指定的输入和前提条件选择并链接服务，最终达到用户指定的输出和效果。通过一个原型系统和实例验证了方法的有效性，实验结果表明算法具有良好的性能。     

基于Bayes信任模型的Web服务组合优化方法

为提高组合服务的可信性,提出了一种将Bayes信任模型与遗传算法相结合的服务组合优化方法。首先利用Bayes方法对Web服务的信任度进行估计;然后根据Web服务的基本组合结构,给出组合服务的执行成功概率的计算模型;最后采用遗传算法对服务组合进行优化。仿真实验表明,该方法可为Web服务组合提供一种优化方案,极大地提高组合后服务的执行成功概率。     

面向本体的语义服务组合评价模型研究

为提高服务组合的精确性和一致性,提出一种面向本体的语义服务组合评价模型,并采用面向本体的语义服务描述方法来增强服务识别定位能力。建立了一种评价模型来度量服务组合情况,以提高服务组合的鲁棒性。据此建立服务组合评价的多目标优化模型,通过多目标的改进性遗传算法求解服务组合,采用层次模糊评价体系分析各类服务组合,并选择最高的评价结果作为最终服务组合结果。最后通过应用分析表明,克服了传统服务组合的局部性、单一性和评价不对称性,使服务组合更加高效。     

基于领域本体的业务组件描述与组合匹配

为支持各类业务组件的有效共享和快速检索,提出了一种基于领域本体的业务组件描述语言,并从领域标准中提炼了业务术语和业务数据,分别作为定义功能语义和数据语义的规范,以解决组件之间的语义异构问题。为满足业务流程活动的需求,通过功能语义匹配和数据语义匹配的结合,对业务组件进行检索,特别是针对数据语义存在的分解和组合关系,提出了基于概念集合关联度的启发式算法进行组件组合匹配。实验表明,该算法具有较高的效率。     

Web服务组合语义一致性验证研究

通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网.使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证.提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法.最后,进行了总结,并提出了下一步的工作.     

跨组织协同中基于局部服务质量优化的Web服务组合方法

为提高基于服务质量的Web服务组合效率,提出一种基于局部服务质量优化的Web服务组合方法。通过局部服务质量优化缩小Web服务组合的候选服务空间,以局部服务质量优化后的Web服务作为服务组合的新候选服务空间,以Web服务组合方案的聚合效用值作为最大化目标函数,以用户提出的全局服务质量约束作为约束条件,将基于服务质量的Web服务组合问题建模为一个整数规划问题。最后,求解该整数规划问题,得到一个近似服务质量最优的Web服务组合方案,将该Web服务组合方案绑定到服务组合引擎,参与跨组织业务流程的具体执行。通过仿真实验验证了所提方法的有效性。     

基于有色Petri网和分类服务的Web服务组合模型

为更好地集成众多以N层结构开发的遗产资源,提高服务建模的重用性和通用性,提出对面向服务的Web资源分类,并采用有色Petri网研究分类服务的组合建模.在该方法中,以服务目标、资源、状态、数据信息作为描述服务的基本要素,引入控制库所表达外因事件对服务组合的影响,建立了基于基本服务构建组合服务的算法和简化规则,讨论了服务组合Petri网的分析验证方法.最后,应用有色Petri网工具,建立和验证了基于分类服务的电网故障诊断有色Petri网模型.     

基于OWL-S的云制造服务语义匹配方法

针对云制造服务在匹配过程中的多样性、异构性、动态性和多约束性等特点,建立一种基于Web服务本体描述语言的云制造服务输入、输出、前提、效果匹配模型,研究了该模型匹配的参数匹配、属性匹配和综合匹配三个阶段。针对参数匹配过程中本体概念参数和约束条件参数的匹配度量化问题,给出结合语义相似度和基于蕴涵关系推理的量化方法及匹配算法。通过应用实例验证了该方法的有效性和可行性。