类型化的Web服务组合形式化模型

Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性.本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WS Web服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证.最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法.     

基于扩展语义接口的Web服务动态组合方法

自动地根据用户请求进行服务的动态组合是目前Web服务领域的关键问题.针对该问题,提出了一种基于本体的服 务动态组合方法,设计并实现了一个服务动态组合原型.首先Web服务按照一定规则被抽象为本体模型,然后通过分析所 构造服务的模型来实现服务的匹配,最后利用BPEL4ws对匹配生成的服务组合序列来进行自动的组合.实验结果表明,该 方法细化了服务接口的语义,并且在发现结果上有更高的准确性.     

一种基于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服务组合的灵活性和动态性.     

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

给出了领域本体、Web服务及服务组合的形式化描述,综合基于业务流程的动态服务组合和基于服务接口匹配的服务组合方法,提出了一种基于领域本体的Web服务动态组合模型。该模型首先把服务请求分解为业务流程,再对业务流程的每个服务按接口匹配方法分解为组合服务。以客户订购产品为例,说明了领域本体的建立方法和Web服务动态组合模型的应用方法。     

Web服务组合中异构消息匹配模型研究

针对Web服务组合中异构消息匹配问题,以标准WSDL作为Web服务接口的描述语言,在建立共同领域本体的基础上,对Web服务接口信息进行语义扩展,通过本体匹配的方式提取Web服务接口XML Schema文档,将Web服务组合中异构消息匹配问题转化为XML Schema匹配,并应用XML Schema自动匹配算法及结合Web服务消息的特点,达到Web服务组合中异构消息自动匹配的目的.     

Web服务组合匹配框架研究

在现有服务发现方法中,单一考虑原子服务或服务组合的方式难以满足用户日益增长的需求。针对该问题,设计一个基于模型转换的Web服务匹配框架。在服务发现过程中综合考虑组合Web服务的执行过程信息和服务质量需求信息,为Web服务组合的匹配设计完整的过程:将UML模型转换为过程模型,再将过程模型转换为过程图,最后计算2个Web服务组合的相似度。实验结果表明,该服务匹配框架能够有效区分组合服务,提高服务发现的准确率。     

面向服务需求匹配驱动的服务组合方法

服务通常是聚集功能来满足用户需求和软件动态变化的要求,从服务需求状态角度采用语义关联提出一种面向服务需求匹配驱动的服务组合方法,该方法以服务需求质量和服务需求相似度为主要参数,通过建立满足服务需求匹配的服务质量模型来支持该方法,以及从服务需求的角度建立匹配算法来驱动服务组合功能动态演化和重组,并以模糊隶属性来量化各相似度的分配.通过语义关联实现语义需求与语义Web服务映射,并检查映射间的一致性,最终实现服务需求匹配驱动服务组合.最后理论和实证表明:面向服务需求匹配驱动的服务组合方法具有较好的实用性和有效性.     

一种动态的组合语义Web服务的方法

Web服务是建立在开放标准之上的自包含,模块化的应用程序,这些应用程序能够通过Internet被描述、发布、定位以及调用.但是,单个的、独立的Web服务很难满足人们的实际需求.所以,将已有的单个Web服务进行组合就变得非常必要.文中提出了一种组合Web服务的方法,它能够将Web服务组合成工作流,更重要的是,能够通过Web服务的语义描述来发现和匹配工作流所需的Web服务.     

基于任务本体的地理信息Web服务组合研究

讨论基于特定任务本体的地理信息Web服务自动组合问题.通过特定任务本体概念间的语义关系对Web服务进行匹配,给出了服务组合执行匹配度的定义及计算表达式,详细地探讨了地理信息Web服务自动组合算法推导步骤,能够满足用户在已有的Web服务中自动地找出能满足需要的所有服务组合方案,并通过服务组合执行匹配度的比较,求解出最佳服务组合方案.该研究对人机之间、机器和机器之间的语义理解具有一定的实用价值.     

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

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

利用优先级双重深度强化学习的自适应Web服务组合方法

针对大规模Web服务组合在动态环境下难以实现高可靠性、高动态适应能力的问题,提出一种结合优先级双重强化学习和POMDP的自适应Web服务组合方法。首先,采用POMDP对大规模Web服务组合优化策略进行建模,简化了组合优化分析的步骤,提高了大规模Web组合服务的效率;然后,在POMDP基础上,利用双重深度强化学习方法对优化策略进行分层重构,并求取最优解,提高了组合服务对动态服务环境的适应能力;实验结果表明,与现有优秀方法相比,所提方法在可靠性、效率和动态环境适应能力方面均有显著提升。     

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

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

基于语义匹配复杂Web服务的算法研究

目前,Web服务发现机制中以关键词搜索方式进行服务匹配,忽略人类语言的多样性,造成较低的匹配率,同时单个Web服务无法满足客户面向业务过程的商业需求.本文研究一种基于语义匹配复杂Web服务的算法,在服务注册机制中对复杂Web服务匹配进行预处理,Web服务请求到达进行二次匹配,匹配单个Web服务或面向业务过程的一组Web服务.     

一种改进的基于Pi演算的Web服务自动组装方法

提出了一种改进的Web服务自动组装的方法,以提高Web服务组装的自动化。组装Web服务时,先用UML对复合Web服务进行建模,从UML模型得到复合服务的Pi演算描述,通过Pi演算的形式化验证,为这些逻辑子服务自动找到匹配的已实现的原子服务,最后生成可执行的复合Web服务。     

服务图在合成Web服务建模中的应用

根据了合成Web服务的相关背景及传统UML建模方法的局限性，提出了服务图建模方法并将其用于有效的合成Web服务，举例说明了服务图的概念，给出了一个会话驱动的Web服务合成过程。     

基于资源本体的Web服务发现与组合研究

将语义Web技术引入Web服务研究,提出一种基于资源本体的Web服务发现和组合方法。通过分析资源之间关系,建立了基于上下位资源查找的Web服务发现方法;通过分析资源与服务的输入输出关系,建立了一种逐级查找的Web服务组合方法。与基于关键字和Web服务语义的Web服务发现和组合方法相比,基于资源本体的方法能较好地满足服务查全率和查准率的要求,具有较高的组合质量和效率,非常适合与资源密切相关的Web服务。     

基于扩展接口语义的Web服务匹配模型研究

分析了Web服务组合的类型以及其中的接口匹配关系，通过对WSDL标准接口描述语言进行语义扩展，提出了一种轻量级的Web服务语义描述模型。该模型从服务接口的消息参数层、消息层和操作层分别扩展语义描述，将服务接口的描述从语法层提升到语义层，从而能够全方位地描述Web服务的功能、行为约束等属性。在此基础上，从这三个层次计算Web服务接口的语义匹配度，提出了多层次Web服务接口语义匹配模型。     

基于SPEA2+算法的Web服务选择研究

服务选择算法是影响组合服务的QoS和服务组合性能高低的关键因素。针对将多维QoS属性加权聚合为一个目标函数进行优化的选择算法不能实质性地解决基于QoS的Web服务选择问题,采用改进的强度Pareto进化算法（SPEA2+）多目标优化求解该问题,设计了一种Web服务选择算法。该算法在满足声誉、可靠性和可利用性属性的约束下,同时最小化服务时间T和服务费用C,以产生Pareto最优解集。通过与运用SPEA2算法求解该问题的实验对比,表明了两算法所获取的Pareto最优解集中QoS属性T和C各均值各有优劣,用户可依据对T或C的偏好择优选择。     

一种基于语义的Web服务匹配算法

概要:在当前Web服务发现过程中,采用基于数据类型和关键词的搜索匹配算法,而忽略了人类语言表达的多样性。通常服务请求者对需求描述不能很好符合Web服务匹配算法的要求,是造成服务匹配率较低的主要原因。本文探讨一种基于语义的Web服务匹配算法,分别对服务提供者注册Web服务,服务请求者提交Web服务请求以及服务注册中心进行Web服务匹配等三个过程提出了改进算法,从而可提高服务匹配率。     

一种基于本体概念语义距离的服务相似度度量方法

随着语义Web服务及语义网格服务应用的不断深入,对服务资源的需求日益增长,服务匹配在服务发现和服务组合研究中的地位也日渐重要.在服务使用OWL-S描述的前提下,服务匹配通常认为是本体概念的匹配,概念匹配的目的是发现概念间的语义相似度.概念的语义相似度不但与概念间的距离有关系,而且还受概念在本体中层次深度的影响.综合考虑这两个因素,提出了一种基于语义距离的概念相似度度量方法,给出了语义距离的定义,明确了语义距离与语义相似度的关系.最后,通过与其他方法的实验比较,验证了该方法的有效性.