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

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

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

Web服务组合研究是Web服务领域一个研究热点。本文利用0WL-S语言对Web服务进行描述，提高Web服务的机器可理解性，并利用语义信息进行Web服务组合操作。文中提出一个在JXTA环境中实现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服务当前面临的主要安全威胁及现有业界安全标准存在的局限性，介绍了安全本体概念并给出了一个基于OWL表示的安全本体例子，最后阐述了语义Web服务应用安全框架中安全服务的语义描述问题，对OWL-S服务本体语言进行扩展，以实现语义安全本体和策略注释。     

目标Web服务描述本体和服务发现模型

目标Web服务描述语言和服务匹配算法是解决Web服务发现问题的方法。在分析现有Web服务描述语言的基础上，该文设计了一个目标Web服务描述本体，该本体从功能、性能和语义特征 3个方面描述Web服务，以提高服务发现的效率和质量为原则，提出了一个基于Web服务特征元素的服务发现模型，并结合旅游领域，实现了一个原型系统。     

基于Petri网的Web服务组合建模

针对Web服务组合流程进行建模，可以实现可靠的服务组合。文中首先提出了一种基于Petri网理论的Web服务组合建模方法，对服务组合进行形式化建模，然后通过分析Web服务网的可迭性和活性对Web服务组合进行验证，最后举例说明此方法的应用。     

.NET与Web服务解析

XML Web Services的出现使得软件开发人员在使用已有硬件、应用程序前提下继续工作的梦想得以实现。文中详细介绍了微软．NET的平台构成、Web服务的概念及其在．NET环境中的实现；并从Web服务的基本技术规范出发对．NET Web服务进行阐述；介绍了XML技术规范在．NET Web服务中的应用和SOAP协议的使用以及Web服务描述语言（WSDL）和Web服务的两种发现机制（DISCO和UDDI）、服务的数据服务等，以便大家对这些技术有全面而透彻的理解，掌握其精髓，从而能够充分利用．NET的强大功能。     

基于Active XML的动态Web服务组合实现

随着Web服务应用的发展，大量存在的应用服务之间需要解决共享和交互，动态Web服务组合为解决信息共享和应用协作的瓶颈问题提供了新的方案。该文通过引入Active XML（AXML），扩展Web服务，提出了一个基于Active XML的动态Web服务组合框架，在此基础上实现了一个动态服务体系结构。该体系结构支持组合服务的即时生成以及在动态环境中的快速部署和发布。     

基于Pi-演算的BPEL4WS Web服务组合形式化模型

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合，如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法，针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言（Business Process Execution Language for Web Services，BPEL4WS），定义了Pi-演算和BPEL4WS之间的概念映射，并给出了BPEL4WS的基于P-演算的形式化模型，最后通过一个案例给出了模型验证的方法。