语义Web服务及其在WWW上的应用研究

对语义Web技术和现行Web服务技术进行了简述，说明了将Web Services技术与语义Web技术的糅合可以大幅度地提高Web服务的质量，详细介绍了DAML—S语义Web服务语言，阐述了语义Web技术与Web服务技术结合的互补性和可行性。文中还给出了一个在现今WWW万维网上Web服务应用语义技术的一个简单的发现架构。     

基于Agent的Web服务研究

提出了一个基于Agent的Web服务，包括Web服务的描述语言，Weh服务的制定，中介Agent和Web服务的匹配。其目的是通过结合Agent和Web各自的优点，推动Web向一个新的方向发展。     

一种P2P环境中基于语义的Web服务组合方法

Web服务组合研究是Web服务领域一个研究热点。本文利用0WL-S语言对Web服务进行描述，提高Web服务的机器可理解性，并利用语义信息进行Web服务组合操作。文中提出一个在JXTA环境中实现Web服务组合的模型，在其上实现了一个基于语义的Web服务组合方法，并通过一个简单的实例说明语义Web服务组合的具体过程。     

网格计算中Web服务技术研究

论文首先对网格计算中的Web服务技术的发展现状进行分析，阐述了Web服务架构、Web服务的表示与描述、Web服务中的信息交换、发现与发布的研究现状，然后对Web服务资 源模型、Web服务资源的描述、发现与定位以及Web服务资源调度与分配的发展进行了论述，最后指出了网格计算中Web服务技术发展所需要解决的重要问题。     

基于Internet工作流的复合Web服务框架

实现灵活方便的企业业务集成一直是信息领域的核心问题，也是B2B电子商务应用的关键．为此将Web服务和传统的工作流技术相结合，设计并实现了支持复合Web服务运行和管理的框架WSFlow．给出了WSFlow的总体结构，描述了其中的关键技术，包括Web服务与工作流活动的动态配置和绑定技术，复合Web服务流程的动态修改以及复合Web服务的运行监控等技术．     

基于OWL共享本体的动态Web服务组合

在自动的动态Web服务组合中，如何提高匹配成功率是个很重要的课题。本文认为，通过结合语义Web服务本体语言OWL-S和Web本体语言OWL，将语义引入Web服务组合，可以提高服务发现和匹配的效率，并可以方便地实现Web服务组合的自动化。本文给出了一个基于Java的实现平台，并在服务匹配过程中实现了基于OWL共享本体的服务匹配。     

Web服务组合中商业事务处理的研究

Web服务组合已经成为业界的研发热点．在Web服务组合中，不同的成员Web服务之间存在着操作一致性和可靠性的处理要求，需要在Web服务组合中提供对于事务处理的支持．尽管目前业界已经存在许多的Web服务组合模型和描述语言，但是都没有提供对于事务处理的支持．本文分析了Web服务组合中的事务处理需求，通过扩展在Web服务组合描述语言中已经占据主导地住的BPEL4WS规范，在BPEL4WS中引入了对于主流的Web服务事务协议的支持，并在此基础上实现了一个原型系统TAWSCRS．     

基于本体相似的Web服务搜索

随着越来越多的Web服务被提交到UDDI注册中心注册，搜索一个合适的Web服务开始变得和在互联网上找到一个合适的页面同样困难。现有的技术主要是通过关键字匹配的技术来对UDDI注册中心Web服务的描述信息进行检索。但鉴于Web服务描述信息非常稀疏的特点，传统的信息检索技术并不能得到很好的效果，因此提出了基于本体的Web服务检索技术。在已有的对Web服务检索流程的改进的基础上，充分利用了从UDDI注册中心得到的Web服务描述信息，用本体来描述其内部的关系，并在此基础上应用本体相似技术来比较和匹配Web服务描述信息。     

基于语义描述的Web服务工作流集成

Web服务是可以由其它软件在Internet上访问的一种软件接口。Web服务工作流则是一组按一定顺序执行的Web服务的集合。如何集成一个Web服务工作流，特别是如何运用对Web服务的语义描述来为一个工作流来自动寻找和匹配Web服务，这是目前所急需解决的问题。介绍如何用语义Web服务本体论来集成工作流，同时提出一个基于语义Web服务工作流集成的模型。     

基于参考网的Web服务组合模型

为了确保组合Web服务执行的可靠性，提出了基于Reference nets的Web服务组合方法。精确描述了Web服务的形式化语义，使用该方法对组合Web服务控制流的八种基本结构建立模型，并给出了建模步骤。结合应用实例使用Renew2.0.1建立组合服务模型并进行仿真，进一步验证了该方法的有效性。     

语义Web在Web服务中的应用

在分析了现有的Web服务标准和语义Web的基础上,介绍了一种把二者结合起来的语义Web服务(SWS)。它可以实现在不需要人的参与下,Web服务的自动发现、自动调用和自动组合。对于语义Web服务的开发有3种方法,文中重点介绍了实现SWS的一种基于本体的面向代理的OWL-S开发方法。     

基于语义的Web服务发现机制研究

针对基于关键词Web服务发现的不足,采用OWL-S作为服务描述语言,为Web服务添加语义描述,构建一种基于语义的Web服务发现机制.本文首先将Web服务请求进行语义解析,生成请求服务文档,然后在服务注册库中通过服务匹配算法,得到候选服务集,并借助线形评价标准对所选服务进行语义评估,为服务请求者选择最优的服务.     

Web服务故障的分类方法①

Web服务故障分类是实现故障诊断的基础。在分析了Web服务的故障管理流程的基础上,提出了Web服务类型和执行过程相结合的Web服务故障分类方法,构建了Web服务故障树,根据故障及其外部表现间的对应关系构造了Web服务故障矩阵,通过分析和验证说明Web服务分类方法能够有效支持快速、准确的Web服务故障诊断。     

基于OWL-S的语义Web服务发现方法

随着Web服务的广泛应用和迅速发展,服务的种类和数量越来越多,要在众多的Web服务中高效地发现满意的服务成为一个关键的问题。目前的Web服务发现方法大多是采用基于关键字匹配的机制,查全率和查准率不高,难以满足用户的需要。针对这个问题将OWL-S引入服务发现,为Web服务添加语义信息,运用本体推理技术,文中提出一种基于OWL-S的语义相似度匹配度计算的Web服务发现方法,并设计了服务发现原型系统。实验结果表明提出的服务发现方法能够获得较好的服务发现效果。     

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

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

一种基于体系结构的Web服务组合描述方法

Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ／ADL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式。     

A User Requirement Oriented Web Service Discovery Approach Based on Logic and Threshold Petri Net

In recent years, the number of Web services has increased significantly. Web service discovery has drawn much attention with the development of Web service applications and big data analysis. Under this circumstance, traditional Web service discovery strategies cannot adequately meet high user requirements due to the efficiency and precision of service discovery is low. In order to improve the accuracy and efficiency of service discovery, a user requirement oriented Web service discovery approach based on Petri nets is proposed in this study. A data preprocessing strategy of Web service is first designed. Then, a service clustering method is proposed based on Petri nets, which can conduct service cluster head generation, service cluster composition, and service discovery. The proposed method utilizes a superior data preprocessing method. Using simulation experiments, the efficiency and precision of Web service discovery are illustrated. Finally, the application value of the approach on real Web service is discussed.      

Web服务的Pi演算描述

如何从已有的 Web 服务构造新的增值性的正确的 Web 服务,已成为研究 Web 服务的群体关注的一个焦点。因此,为了得到可靠的、高质量的服务,必须找到一种建模方法和工具,在 Web 服务投入使用之前,对其进行分析和验证。本文主要从过程代数的角度出发,用 Pi 演算来描述 Web 服务以及 Web 服务的组合。