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

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

Apache Axis1.1环境下WS-Security的研究与实现

SOAP构成了Web服务体系结构的通信基础，SOAP的扩展协议WS-Security是Web服务环境下最基础的安全协议，Apache Axis是Java平台上的一个开放源码的SOAP处理机。关于Web服务的安全性研究是Web服务在实际应用中所必须解决的问题。给出了一个基于WS-Security的安全模型，分析了Apache Axis的消息处理机制，研究了此模型在Apache Axis下的实现。     

基于Activity Service的事务性Web的研究

当前Internet的发展趋势是事务性Web，这需要解决相关的Web服务的事务性语义问题，以保证Web服务整个处理流程的完整性和可靠性。传统的事务模型以及分布式对象事务系统不再适用于新的Web环境下的要求。在总结相关工作的基础上，本文提出利用LRUOW HLS模型以及扩展WSDL规范以实现并声明事务性Web服务；并研究了扩展AS基础系统结构以解决集成Web服务的事务性的可能性。     

Web服务事务处理应用模型

本文利用Web服务的应用程序组件特性，配合分布式事务处理的两阶段提交机制，建立了一个Web服务与事务处理协调操作的应用模型。实际应用不需修改Web服务内部代码，特别有利于企业应用的后期维护和系统升级。     

一种基于抽象与精化技术的Web服务组合验证方法

模型检测因其自动化程度高、能够提供反例路径等优势,被广泛应用于Web服务组合的兼容性验证。本文针对模型检测过程中存在的状态爆炸问题,在传统的模型检测方法中引入谓词抽象和精化技术,提出了一种针对Web服务组合的抽象精化验证框架。使用谓词抽象技术对原子Web服务抽象建模,将各Web服务抽象模型组合成组合抽象模型;将模型检测后得到的反例在各原子Web服务上做投影操作,对投影反例进行确认;对产生伪反例的Web服务抽象模型进行精化,生成新的组合抽象模型,再次对性质进行验证。最后通过实例分析说明基于抽象精化技术的Web服务组合验证框架在缓解状态爆炸问题上的可行性。     

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

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

一种关于语义Web服务匹配的策略和实现

Web服务的迅速发展使得Web服务的匹配和查找问题成为研究热点。引用领域本体对Web服务进行语义描述，再进行语义层上的匹配，是Web服务匹配研究领域的一个重要研究方向。本文从Web服务的输入、输出参数的语义描述出发，把Web服务的匹配问题转化为领域本体库中概念间语义距离的计算，并根据服务请求者对Web服务的需求，提出了用不同的方法来计算Web服务输入、输出概念间的语义距离，其中处理Web服务输出概念时着重提高Web服务查找的查准率，而处理Web服务输入概念时则注重提高Web服务查找的查全率。实验结果显示了该方法较别的服务查找方法在查准率特别是查全率上得到了提高。     

一种基于操作序列的Web服务建模与自动构建方法

近年来,基于SOA(service-oriented architecture)的软件开发方法已成为学术界与工业界的热点,其良好的可扩展性和松散耦合性在工业领域得到了很好的发挥,在学术领域对于Web服务的互操作等核心问题的研究也获得了大量成果.然而,对于Web服务本身构建方法的研究与实现却仍然不能很好地满足用户的需求,创建Web服务的手段比较单一,自动化构建技术尚不成熟.针对这些问题,提出了一种基于操作序列的Web服务建模与自动构建方法.用户通过3个步骤完成Web服务中操作序列组件的建模:①元操作建模;②操作元序列建模;③操作序列建模.在模型的基础上,提出了由模型转换为操作序列组件代码的算法.提出的方法在实际系统中得到了应用,并通过相关对比实验说明了算法的高效性.     

基于Chord的Web服务模型研究

Web服务是目前互联网的发展热点。虽然Web服务已经提供了分布式的操作,可是服务发布和发现都是以一个服务注册中心为基础的。针对Web服务的瓶颈性缺陷,提出了P2P模式下基于Chord协议的Web服务模型,介绍了在此模型中服务发布、服务发现、加入节点、删除节点的方法。     

安全的基于Web服务的短信服务平台的构建

介绍了如何使用Web服务技术以及Web服务安全性模型来架构一套安全的基于Web服务的短信服务平台。描述了Web服务以及Web服务安全性模型等知识点；针对模拟项目的需求，讨论了如何使用Web服务和WS—Security进行整体架构设计以及使用前面两种技术时需要考虑的问题，并总结了安全的基于Web服务短信服务平台的应用前景。     

基于参与者上下文概念意图的语用Web服务发现

为了使得语义Web服务的发现结果与服务请求者的意图更加一致,提高服务发现的准确性,改善服务发现和选择的自动化性能。在服务描述中增加了对于服务提供者和服务请求者的上下文知识的表示,使用规划的方法完成服务参与者之间对于私有的上下文本体概念意图的理解。实验表明,该方法能够有效提高发现的准确性,在使用标准服务测试集进行服务发现实验时,尽管概念规划使得服务发现时间有所增加,但服务发现的准确性得到很大提高,尤其对于描述服务领域本体语义差异较大的情况,服务发现的结果更为准确。     

一种基于与或图的语义Web服务自动组合方法研究

单个Web服务提供的功能有限,服务组合成为Web服务应用的一个重要研究方向。提出了一种基于与或图的语义服务自动组合方法。该方法为Web服务引入语义,能将服务搜索空间受限于服务组合与或图中,并能从服务组合与或图中选出最佳组合图,从而达到优化服务组合的目的。仿真实验证明,该方法提高了Web服务组合的成功率和效率。     

Semantic E-Workflow Composition

Systems and infrastructures are currently being developed to support Web services. The main idea is to encapsulate an organization's functionality within an appropriate interface and advertise it as Web services. While in some cases Web services may be utilized in an isolated form, it is normal to expect Web services to be integrated as part of workflow processes. The composition of workflow processes that model e-service applications differs from the design of traditional workflows, in terms of the number of tasks (Web services) available to the composition process, in their heterogeneity, and in their autonomy. Therefore, two problems need to be solved: how to efficiently discover Web services—based on functional and operational requirements—and how to facilitate the interoperability of heterogeneous Web services. In this paper, we present a solution within the context of the emerging Semantic Web that includes use of ontologies to overcome some of the problem. We describe a prototype that has been implemented to illustrate how discovery and interoperability functions are achieved more efficiently.     

基于重写技术的语义Web服务研究

随着对Web服务的不断深入研究和应用,出于各种服务自动化任务的需要,语义Web服务逐渐成为学术界的研究热点。可以看出这些研究大都基于服务单个操作级别的语义进行推理,而对于多个操作之间的语义联系却很少涉及。提出Web服务的重写模型,通过为Web服务添加操作之间的重写规则语义,将Web服务建模为服务重写系统,利用重写技术中的推理机制,实现对Web服务的分析和挖掘。这个方法可应用于服务的QoS优化,以及服务的组合与融合等方面。     

Web Services发现和集成句法匹配算法研究

面向服务的应用,促进了WebServices的发现和集成服务技术研究。如何有效地对大量异构、跨平台的不同WebServices服务应用,实现发现(Discovery)和集成(Composition)技术,将是一个关键的问题。文章首先提出了面向WebServices服务的集合组成元素,进而分析了基于句法的WebServices服务发现和集成算法,通过发现路由和合成路由事例的应用研究,探讨了的基于句法匹配算法的WebServices发现和集成技术的可行性。     

Bridging the semantic Web and Web 2.0 with Representational State Transfer (REST)

Semantic Web technologies must integrate with Web 2.0 services for both to leverage each others strengths. We argue that the REST-based design methodologies [R.T. Fielding, R.N. Taylor, Principled design of the modern web architecture, ACM Trans. Internet Technol. (TOIT) 2 (2) (2002) 115–150] of the web present the ideal mechanism through which to align the publication of semantic data with the existing web architecture. We present the design and implementation of two solutions that combine REST-based design and RDF [D. Beckett (Ed.), RDF/XML Syntax Specification (Revised), W3C Recommendation, February 10, 2004] data access: one solution for integrating existing web services and one server-side solution for creating RDF REST services. Both of these solutions enable SPARQL [E. Prud’hommeaux, A. Seaborne (Eds.), SPARQL Query Language for RDF, W3C Working Draft, March 26, 2007] to be a unifying data access layer for aligning the Semantic Web and Web 2.0.     

基于语义Web和约束满足技术的旅游规划系统

在基于虚拟组织的e-commerce中,常常涉及从大量的网上服务提供者中找到所需的供应商,并将发现的服务提供者集成起来,实现业务协作,为用户提供一系列流程服务.我们拟将语义Web服务和约束满足技术各自优势结合起来,解决虚拟组织的活动管理.并用此思想构建了一个旅游规划系统.本系统可以适用于Internet等动态开放的环境,其根据用户的要求找到合适的资源信息,然后将问题模型为约束满足问题进行求解,特别是我们采用约束对象表示以便实现高层次建模,从而实现真正意义的E-Traveling.     

一种基于语义的Web服务组合算法研究

语义Web服务组合算法研究对于Web服务组合有着重要的意义。说明一种基于语义的Web服务组合算法的思想,给出服务组合框架和算法的工作流程。它的核心是通过语义I/O和P/E的匹配来实现自动化Web服务组合,本质是通过交互不断地寻找合适的前继服务,以满足用户的服务请求。