模型驱动架构的语义组合Web服务的验证

针对语义Web服务的组合与验证问题,提出了基于模型驱动架构（MDA）的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。     

一种基于语义的Web服务动态组合及其实现

随着Web Services 的广泛流行以及Web环境下日益增加的Web服务,如何根据用户的需求自动地对Web服务进行有效的组合已经成为一种挑战.文中提出了一种基于领域本体的动态组合方法,该方法利用领域本体以及语义技术首先生成一个基于领域本体的Web服务组合图,根据该Web服务组合图可以进行服务的自动发现、调用、组合.该方法综合考虑了服务的语义支持,领域特性,服务的自动组合.最后通过实例验证了该方法的有效性.     

基于RDF4S的一种轻量语义Web服务组合

首先简要介绍语义Web服务资源描述框架(RDF4S),在此基础上提出语义Web服务包装机制,语义Web服务经包装后,分别通过组合接口和调用接口为组合语义Web服务的设计与调用提供支持.然后分别详细介绍组合语义Web服务的设计存储和调用执行:通过图形化的设计工具按照语义Web服务的3种基本逻辑关系设计组合结构图,然后将该图映射到组合结构信息表存储,组合语义Web服务执行时根据结构信息表生成语义Web服务代理对象和相应的语义消息,再根据语义消息传递机制调用Web服务实体.最后用一个实例展示组合语义Web服务执行时的消息传递,试验表明该方法有效.     

基于与或图的Sub Web服务组合方法研究

随着互联网技术的迅速发展,出现了大量优秀的Web服务,然而,单个Web服务难以满足用户需求,需对单个Web服务进行组合。针对上述问题,提出一种基于与或图的Sub Web服务组合方法。首先运用Web服务分解器将Web服务分解为Sub Web服务,并为其建立输出倒排索引表。其次通过SCAOG算法生成服务组合与或图,并为每一个与或图中节点赋权值。最后利用SCG算法对与或图进行求解,生成服务组合图。仿真实验表明,该方法提高了服务组合的效率和成功率。     

基于Topic Maps的语义Web服务组合引擎研究

针对Web服务组合流程控制、服务组合吞吐率等问题,提出一种基于主题图的语义Web服务组合引擎方法,通过基于本体的语义Web服务描述,并将Web服务与主题图进行抽象,用一种服务主题去表示语义Web服务,以便使用主题图的特征,而主题图可方便地实现语义服务导航定位,使得Web服务所处状态可定,目标明确。因此该语义Web服务组合引擎是从UDDI注册(UDDIr)和查询能力(UDDIs),语法检测(GD)和语义识别(SI)能力,服务主题图的相似度(STS)、匹配度(STM)和适应度(STF),服务主题特征刻面分类能力(SFC),服务主题权限访问程度(STP),刻面深度判定(FDD),服务主题协同能力(STC)角度去建立;并通过数学方法进行定义。最后通过用Java编程实现实验模型表明,该方法可行且有效。     

一种基于OWL-S的语义Web服务自动组合方法*

提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取最终的Web服务组合。该方法在保证Web服务组合质量的前提下,实现了根据服务请求对Web服务的自动化组合。     

基于图规划的语义Web服务自动组合方法

由于单个的Web服务功能有限,难以满足日益增长和不断变化的用户需求.如何根据服务请求者的特定需求进行服务的自动组合来满足用户的需要,就成为了一个迫切需要解决的问题.提出了一种基于图规划的语义Web服务自动组合方法,该方法在建立前驱与后继执行关系知识库的基础上,利用图规划的前向扩张思想和图规划解搜索思想,可实现从服务库中自动地找到满足用户需求的服务组合方案.该方法综合考虑了服务语义和服务组合的效率等因素,在保证Web服务组合质量的前提下,可根据服务请求实现服务的自动组合.最后用仿真实验从服务组合的成功率、效率和组合解质量三方面验证了该方法的有效性和可行性.     

基于与或图的Web服务组合的研究

现在Web服务技术的应用变得更为普及。单个Web服务只提供有限的功能,难以满足实际应用的需要。Web服务组合已经成为Web服务应用中一个非常重要的研究方面。本文提出了一种基于与或图的Web服务组合方法,该方法通过对已经访问过的服务进行标记,以服务代价作为在与或图中进行搜索的依据,缩小了搜索空间,能够快速找到一种代价很小的服务组合方法。仿真实验表明,该方法提高了Web服务组合的效率和成功率。     

基于功能属性语义的Web服务组合方法

Web服务组合方法是Web服务研究领域的热点之一,常用的方法是通过Web服务的input和output参数的匹配,将已有的Web服务组合成满足用户复杂需求的Web服务。但普遍存在缺乏对Web服务功能属性语义的考虑,而且因为随着Web服务的数量上的急剧增长,如果对每一种可能的组合都进行考虑则会增加组合服务的复杂度。为此提出一种基于Web服务语义图模型的服务组合方法。利用功能参数之间的语义关联,建立一种Web服务语义功能属性描述模型,对那些在功能属性语义上具有关联性的Web服务,采用图路径搜索的方法来完成服务组合,从而在服务组合阶段缩小参与服务组合的范围,提高了组合服务的效率和有效性。     

基于完备回溯树的语义Web服务自动组合

基于语义的Web服务自动组合方法具有较高的效率及自动化程度,能更好地解决复杂的服务组合问题。提出一种基于完备回溯树的语义Web服务自动组合方法（CBT_ASWSC）,该方法为Web服务引入语义以实现对象间的语义转化并将搜索空间受限于完备回溯树中,在加快Web服务组合效率的同时提高了Web服务组合的成功率。     

基于领域本体的Web服务动态组合

随着Web环境下服务数量的快速增长,如何自动地根据服务请求,进行服务的动态组合成为一个迫切需要解决的问题,该文提出了一种基于领域本体的服务动态组合方法,该方法利用领域本体及其推理能力,生成一个优化的服务组合图,然后基于该图给出了一个高效的服务组合算法．与已有的方法相比,该文的方法综合考虑了服务语义、服务组合的质量和服务组合的效率等因素,可以自动地根据服务请求实现服务的动态组合．同时保证了服务组合的效率和质量．     

基于深度优先搜索的Web服务合成算法

本文通过提取Web服务的语义信息,研究了语义Web服务合成问题。Web服务合成的关键是对候选Web服务的输入输出数据关系进行建模,以及有效地利用这些已有的数据依赖关系实现服务合成请求。通过构建Web服务的依赖图,提出了一种基于图论中深度优先搜索的Web服务合成算法,以获取满足特定要求的Web服务。     

基于目标递进的Web服务组合方法

单个Web服务难以满足实际应用需求,如何组合已有服务形成新服务成为该领域的研究热点.现有的组合方法仅依靠输入和输出参数组合相关服务,很少考虑前提和后置条件的语义相关性.为此,提出一种基于目标递进的Web服务组合方法,采用前向链的搜索策略,建立基于条件的有向无环图,可有效利用输入、输出参数和前提、后置条件确定服务组合顺序...     

基于可达图的Web服务组合验证

针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法.采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用.     

基于Dijkstra算法的Web服务合成选择策略研究

Web服务合成中操作的选择是一个关键问题,这直接影响到用户对合成的复合服务的满意度、解决该问题的关键是对候选Web服务的输入输出数据关系进行建模,以及有效利用这些已有的数据依赖关系实现服务合成的请求。通过从Web服务规范语言中提取Web服务的语义信息．掏建Web服务的有向图,并分析Diikstra算法用于Web服务合成的问题。提出了相应的船决办法,给出了一个基于Diikstra算法的Web服务合成选择策略的算法。该算法能在合成中选择最恰当的操作组合．产生最终的复合服务。     

动态服务组合构造与最优组合服务算法研究

服务组合是将已有服务组合为一个新服务的过程,以增加服务的功能或／和性能。本文将组合方案表示为一个有向无环图,节。占、表示服务,边表示服务交互,以目标服务的输入为指标集,给出候选组合方案的构造算法。以服务费用为测度,并计入服务的计算、存储和通信费用。通过费用转移,提出了基于经典Dijkstra算法的最优组合服务算法。     

面向用户主导问题求解环境的服务组合方法

为提高服务组合的即时性,适应用户业务需求的变化以及服务资源的动态和异构性,提出一种适应用户主导问题求解环境的服务组合方法。探讨了维护服务交互关系的相对稳定性的策略,提出了基于服务相容性的服务聚类规则,基于聚类服务关联图的组合模板构建方法及其最优性的保障手段和组合模板的具体化方法。实验结果表明,该方法可提高服务组合的即时性和适应性,提高服务组合的时间效率。