语义Web服务架构的研究

Web服务将导致下一代电子商务的革命,目前工业界推出的各种用XML语法来描述的Web服务协议缺乏定义良好的语义信息,因而并不能满足Web服务自动发现、执行、合成、监控和恢复的需求。本文从为Web服务提供精确的语义出发,结合Web服务和语义Web构建语义Web服务,以满足智能服务的需要。     

服务请求驱动的语义Web服务组合方法

以Web服务本体和领域本体为基础,利用语义匹配算法,提出一种以服务请求驱动的服务组合方法。递归调用此算法可以得到满足服务请求功能及性能约束的服务组合树。通过一个具体的实例,讨论服务组合树的构造过程。实例应用表明,本方法支持自动的、动态的Web服务组合,能够很好地满足QOS约束。     

目标驱动的语义Web服务组合的挖掘

以用户请求的输出为目标,建立服务组合发现生成树,选择最优服务组合分支来完成服务任务.针对成功的服务事务表采用Apriori算法进行挖掘,发现频繁组合的服务,预先进行组合成为快速、高效、功能更强的原子级服务,提供给用户使用.     

语义Web服务组合方法研究

该文首先对语义Web服务组合的研究内容和现状进行了概括,紧接着对现有的语义服务组合方法进行了分类,然后着重讨论了这些组合方法的特点及其相关应用。     

基于MDA的Web服务组合的研究及应用

随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题.特别地,利用MDA进行Web服务合成已经成为研究的热点.提出了一种基于模型驱动架构的Web服务组合方法,将模型驱动软件开发方法学应用到Web服务组合中.针对WSDL语言给出了一个UML Profile for WSDL来建立与WSDL平台相关的静态结构模型,并给出了与WSDL平台相关的静态结构模型和WSDL语言之间的模型转化规则.并通过一个旅行代理服务的实例说明了方法的应用情况,验证了方法的可行性.     

语义Web服务组合的形式化描述与验证研究

Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模.     

一种基于语义消息的Web服务组合方法

在重用现有Web服务的基础上,通过服务组合形成新的、功能增值的服务是语义Web服务领域的一个重要研究内容.本文在Web服务语义描述框架的基础上,提出一种基于语义消息的Web服务组合方法,该方法定义了能够描述不同服务输出、输入消息之间对应关系的语义消息,能够业务逻辑上紧密关联的Web服务有机的组合在一起,从而为Web服务组合者以及面向服务的应用开发人员提供一种简单、直观的组合方法.     

语义Web服务组合综述

语义Web服务的目标是,利用语义Web技术将Web服务的静态描述和动态行为与功能有机地结合起来,解决Web服务的自动发现、组合和执行等问题。语义Web服务组合是服务资源重用的一种重要方式,也是语义Web服务研究领域的一个重要内容,它以现有的语义Web服务资源为基础,通过服务组合为基于Internet的大规模复杂应用提供新的、更多的可用资源。首先对语义Web服务相关的基本概念进行归纳和总结,概述语义Web服务组合的研究内容和目标,然后根据语义Web服务组合中使用的方法学对其进行分类并分析这些方法的实现过程和特点,最后总结全文,指出下一步的研究方向。     

模型驱动的Web服务组合的QoS属性的研究

为反映组合Web服务的服务质量(QoS),文章在用模型驱动的方法对Web服务组合进行研究的基础上探讨了如何对Web服务进行QoS属性拓展,给出了拓展的WSDL元模型。通过引入模型驱动的思想,解决了Web服务对QoS属性描述不足的问题。并通过对BPEL元模型的分析,得出了组合服务在各种结构模型情况下的QoS属性的计算方法。     

一种基于主体的语义Web服务模型

要实现Web服务组合自动快速准确性,必须对Web服务进行语义标注,使计算机能在"理解"服务的基础上实现快速准确查找和自动组合.Agent以其独特的性质,被普遍认为是可以代替人做出某些行为的实体.借鉴主动服务的思想,在传统面向服务体系架构(SOA)的基础上,将Agent技术引入到SOA模型中,提出了一种基于主体的语义Web服务模型,采用Agent来封装不同角色模块,使得Web服务的调用和组合过程可看成是代表各自角色的A-gent之间的协商和协作解决问题的过程.     

基于本体的远程医疗语义Web服务发现方法研究

由于现有医疗信息系统之间的异构性,使得各系统间的信息交换无法正常进行。基于SOA的远程医疗诊断系统的出现,可以很好地解决各种异构系统的集成问题。但是,目前的Web服务注册和发现协议如UDDI是基于关键字的检索技术,无法描述Web服务的语义信息,这使得基于传统协议的Web服务发现算法无法自动匹配一些符合要求的服务。为了解决上述问题,基于SOA思想提出了一种基于本体的语义Web服务模型,并给出了相应的Web服务发现算法。该模型能够更准确有效地描述Web服务,使得计算机可以完成自动服务匹配,提高了查全率和查准率。     

大型水电仿真系统的模型驱动架构设计

介绍了基于模型驱动架构设计的水电仿真软件开发框架,以UML 作为面向对象建模工具,从更高的抽象层次上构建系统,描述和总结了系统的功能组成、模型结构与层次、模型变换及代码生成,避免传统开发的缺陷,使对系统的建模行为成为软件开发的核心。以吉林丰满水电站为用户案例,对系统进行应用测试,实践验证了该方法的通用性、先进性和可靠性,是一种适合实现水电仿真系统等大规模软件开发的新方法。     

一种语义Web服务的多层次匹配方法

现有的语义Web服务发现方法大多采用匹配等级来筛选服务，查找到的服务粒度较大，也没有考虑服务质量。对OWL-S语言进行扩展，增加对QoS（服务质量）的描述，提出了五层次三阶段的多层次匹配过程，采用语义相似度进行匹配。实验结果表明该匹配方法能够保证查找的查准率和查全率。     

基于语义向量模型的Web服务匹配方法*

针对当前Web服务匹配方法中存在的缺陷,将语义Web服务匹配方法与信息检索技术相结合,提出一种利用语义相似度扩展向量模型的Web服务匹配方法,并通过实验对匹配效果进行了检验与分析。实验结果证明,与基于经典向量模型的匹配方法和相关语义匹配方法相比,该匹配方法具有更高的准确率。     

Web服务组合在水利领域中的应用

随着水利信息化的发展,如何实现不断增加的异构系统的应用集成成为一个新的研究课题。而使用基于模型驱动架构MDA的Web服务组合技术,能够更好地实现水利领域的应用集成。按照MDA方法,给出了使用Petri网来建立Web服务组合的模式,以及组合模型正确性验证的方法,并提出了将Petri网模型影射到可执行的BPEL4WS的方法。通过一个实例,说明了基于MDA的Web服务组合技术在水利领域应用集成中的作用。最后进行了总结,指出了下一步工作。     

An automatic subdigraph renovation plan for failure recovery of composite semantic Web services

A Web service-based system never fulfills a user＇s goal unless a failure recovery approach exists. It is inevitable that several Web services may either perish or fail before or during transactions. The completion of a composite process relies on the smooth execution of all constituent Web services. A mediator acts as an intermediary between providers and consumers to monitor the execution of these services. If a service fails, the mediator has to recover the whole composite process or else jeopardize achieving the intended goals. The atomic replacement of a perished Web service usually does not apply because the process of locating a matched Web service is unreliable. Even the system cannot depend on the replacement of the dead service with a com- posite service. In this paper, we propose an automatic renova- tion plan for failure recovery of composite semantic services based on an approach of subdigraph replacement. A replacement subdigraph is posed in lieu of an original subdigraph, which includes the failed service. The replacement is done in two separate phases, ofltine and online, to make the recovery faster. The ofitine phase foresees all possible subdigraphs, pre-calculates them, and ranks several possible replacements. The online phase compensates the unwanted effects and executes the replacement subdigraph in lieu of the original subdigraph. We have evaluated our approach during an experiment and have found that we could recover more than half of the simulated failures. These achievements show a significant improvement compared to current approaches     

An automatic subdigraph renovation plan for failure recovery of composite semantic Web services

A Web service-based system never fulfills a user’s goal unless a failure recovery approach exists. It is inevitable that several Web services may either perish or fail before or during transactions. The completion of a composite process relies on the smooth execution of all constituent Web services. A mediator acts as an intermediary between providers and consumers to monitor the execution of these services. If a service fails, the mediator has to recover the whole composite process or else jeopardize achieving the intended goals. The atomic replacement of a perished Web service usually does not apply because the process of locating a matched Web service is unreliable. Even the system cannot depend on the replacement of the dead service with a composite service. In this paper, we propose an automatic renovation plan for failure recovery of composite semantic services based on an approach of subdigraph replacement. A replacement subdigraph is posed in lieu of an original subdigraph, which includes the failed service. The replacement is done in two separate phases, offline and online, to make the recovery faster. The offline phase foresees all possible subdigraphs, pre-calculates them, and ranks several possible replacements. The online phase compensates the unwanted effects and executes the replacement subdigraph in lieu of the original subdigraph. We have evaluated our approach during an experiment and have found that we could recover more than half of the simulated failures. These achievements show a significant improvement compared to current approaches.     

一种基于P2P网支持QoS的语义Web服务的匹配模型*

如何准确而又高效地匹配零散分布于各地的Web服务,通过分析现有的一些相关研究,在P2P网络的基础上提出了支持QoS的语义Web服务匹配模型。模型首先分析了P2P网络的特点,在扩展UDDI的基础上,结合目前语义Web服务匹配的多层匹配思想,提出一个三层次的匹配筛选算法,并对基本描述、语义Web服务匹配、服务质量各层的匹配算法进行了深入讨论,用相似函数来度量服务提供方与服务请求方的Web服务相似程度,为Web服务匹配和发现提供了一种有效的方法。     

基于动态信任语义库的Web服务匹配算法

针对传统基于语义的Web服务匹配算法无法解决模糊语义下匹配的问题,提出一种基于动态信任语义库的Web服务匹配算法。将交互实体对服务提供者的评价行为进行灰色聚合,筛选出可信实体;依据可信实体对服务提供者的服务描述,提取语义信息,构建动态的语义库,对于Web服务描述中的模糊语义概念,从可信实体的服务描述中抽取相应概念并替换;计算服务请求向量与服务描述向量的语义相似度,衡量Web服务的匹配程度。实验结果表明,在存有模糊语义的情况下,该算法具有更好的匹配效果。     

支持MDA的设计模式建模与模型转换方法研究

设计模式是描述某一类问题的通用解决方案,可以提高软件开发的可重用性,但在设计模式建模中存在模式消失和模式组合复杂化等问题,模型的可扩展性低,不利于模型到代码的自动化转换。由此,在MDA框架下,引入角色的建模思想,提出了一种基于Ecore的设计模式建模和模型转换方法,该方法在元模型层抽象并扩展了设计模式通用元素的元模型,使得不同的模式组合模型通过对相同的模式元素元模型进行转换可以获得相应的应用模型,从而增强了设计模式建模的可扩展性和模型转换的通用性,为MDA框架中设计模式建模和模型转换提供了一种有效的途径。