Web服务中可靠性消息规范的比较研究

对现有的Web服务可靠性消息规范WSR(Web Services Reliability)和WSRM(Web Services Reliable Messaging)进行了对比分析,并针对差异提出了有效可行的整合方法。     

WS-T协议族及其应用研究*

介绍了Web服务和事务的相关概念,阐述了传统事务处理协议在Web服务处理环境中存在的问题;然后结合目前流行的WST协议族对Web事务处理作了分析;最后根据分析总结了解决问题的思路,以及在Web服务事务处理中建议采用的策略。     

Web服务互操作性测试系统的研究

Web服务互操作性是面向服务的软件系统测试内容的一个重要方面.本文分析了Web服务及其互操作性问题,介绍了协议互操作性测试的基本方法及协议互操作性测试系统的基本框架,在此基础上提出了一个Web服务互操作性测试系统的结构框架,并对该测试系统进行了形式化定义,最后指出了需要进一步研究的方向.     

基于Petri网的Web服务流程建模

Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法，并给出了Petri模型中基本路由的BPEL4WS描述。     

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

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

面向应用的Web服务组合设计和验证框架

针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。     

基于BPEL4WS的网格服务组合体系结构及其分析

开放网格服务基础结构OGSI（Open Grid ServicesInfrastrstructure）把Web服务工作流引入到网格任务描述中,给出了几种Web服务与网格技术相融合机制,但并没有界定如何进行网格服务组合.而BPEL4WS（Business Process Execution Language for Web Services）是描述Web服务业务工作流的工业标准.通过对BPEL4WS和OGSI在生命周期管理、Web服务实例化和状态交互管理等方面异同的深度分析,提出了一种兼容OGIS并使用BPEL4WS来合成网格服务的高层体系结构.介绍了一个电力网电能损耗理论计算的实际应用原型系统,表明该文提出的体系结构可应用于网格服务的建模和构造.     

Web服务跨域单点登录认证分析*

重点分析和研究了基于WSFederation的Web服务跨域单点登录认证机制的实现原理和过程,并讨论了其安全问题。     

基于接口自动机的BPEL4WS Web服务组合形式化模型

介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。     

基于BPEL4WS的分布式应用系统的研究与实现

研究了基于Web服务的业务流程执行语言BPEL4WS(Business Process Execution Language for Web Services)的实现机制和关键技术,在此基础上,结合具体应用分析了BPEL4WS在分布式应用系统中的应用和实现。     

Web服务安全模型研究与实现

随着Web服务在分布式系统中的广泛应用,安全问题日益突出。论文基于WS-Security和WS-Policy协议,提出一个Web服务安全模型,并在.NET环境下,使用WSE2.0Web服务开发组件实现了该模型。该安全模型灵活、可扩展,既保证了SOAP消息端到端的安全性,又通过安全策略文件提高了Web服务的互操作性,可满足Web服务应用环境下的安全需求。     

新一代开放分布式处理技术--Web Services

探讨了Web服务的核心协议栈，说明了Web服务用于解决互操作性的最终目标。从开放系统的角度分析了Web服务的各层协议。最后提出了Web服务存在的问题和形式化研究方法的思路。     

应用Web服务技术实现分布式组件互操作

介绍了Web服务的体系结构和相关主要技术,分析了当前流行的分布式组件技术及其互操作的缺陷后,给出了应用Web服务技术实现互操作的模型,并结合一个基于J2EE实例系统介绍了具体实现细节。     

异构平台上Web Services的实现和比较

本文首先介绍了Web Services技术以及它的体系结构．然后通过实例分别讨论了在．net平台和java平台上实现Web Services过程。论文的最后进一步讨论了不同平台下Web Services之间的互操作性问题。     

基于WSRF的药物网格设计与实现

分析了原有的药物网格系统在可扩展性和互操作性方面存在的问题,借助于Web服务和网格的主流标准技术,设计了基于WSRF(Web Services Resource Framework)的药物网格分层结构.讨论了基于该结构Web服务的实现,最后通过实验对新的药物网格平台进行了测试和分析.     

Interoperability of Learning Objects Copyright in the LUISA Semantic Learning Management System

Abstract

Semantic Web technology is able to provide the required computational semantics for interoperability of learning resources across different Learning Management Systems (LMS) and Learning Object Repositories (LOR). The EU research project LUISA (Learning Content Management System Using Innovative Semantic Web Services Architecture) addresses the development of a reference semantic architecture for the major challenges in the search, interchange, and delivery of learning objects in a service-oriented context. One of the key issues, highlighted in this paper, is Digital Rights Management (DRM) interoperability. A Semantic Web approach to copyright management has been followed, which places a Copyright Ontology as the key component for interoperability among existing DRM systems and other licensing schemes like Creative Commons. Moreover, Semantic Web tools like reasoners, rule engines and semantic queries facilitate the implementation of an interoperable copyright management component in the LUISA architecture.     

Soft computing techniques for web services brokering

To enhance and improve the interoperability of meteorological Web Services, we are currently developing an Integrated Web Services Brokering System (IWB). IWB uses a case-based classifier to automatically discover Web Services. In this paper, we explore the use of rough set techniques for selecting features prior to classification. We demonstrate the effectiveness of this feature technique by comparing it with a leading non-rough set (Information Gain) feature selection technique.     

Web Services解决方案性能分析及其优化策略

Web Services提供了更好的互操作性和可扩展性,当然也需要更多的计算资源开销。本文在对产生Web Services额外性能开销的主要因素分析的基础上,讨论了缓存技术在Web Services解决方案性能优化中的应用。