服务在线迁移系统研究与实现

研究并实现了服务在线迁移（service online migration,SOM）系统。该系统能以指定的迁移策略在不影响生产中心正常提供服务的同时为其提供服务容灾能力,通过系统内核中的层次化请求过滤（Hierachical Request Filter,HRF）获取系统即时状态,保证迁移数据的一致性。测试与实际应用检验证明,该系统在迁移开销、迁移有效性及一致性等方面均达到预期目标。     

面向服务的未来互联网服务迁移机制

研究了基于传统互联网架构、覆盖网技术的现有服务迁移技术,解决了网络拥塞问题.现有服务迁移技术存在网络不可达、额外交互流量大和服务响应效率低的不足,结合网络用户行为和服务类别的特点,提出了基于服务计算的未来互联网体系结构的服务迁移触发策略,以及静、动态服务迁移算法,并在搭建的原型系统上对算法进行了测试.测试结果表明,这两种算法在降低骨干网服务请求流量的同时,能够明显提高服务迁移效率.     

一种TCP连接的延迟多次迁移技术

现有的基于内容的Web交换技术不能很好地支持HTTP持久连接(P-HTTP)和流水线请求。提出了一种TCP连接的延迟多次迁移方法(DM-TCPHA),前端FE根据第一个请求将连接迁移到选中的BE,该连接上的后续请求报文由BE来调度,且通过强制手段保证BE在收到客户对HTTP回复的确认报文后再执行迁移。该方法具有TCP迁移高性能的优点,且能很好地支持P-HTTP和流水线请求。     

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

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

基于DF与UDDI协作的Web服务发现机制

Web服务发现是Web服务系统架构中的一个重要部分,是客户以某种方式在不同类型的Web服务中找到其想要的服务,以执行Web服务请求.现有的发现机制UDDI统一描述、发现与集成是Web服务体系中的登记服务机制,但是,UDDI无法很好地理解搜索服务的内容.通过对FIPA给出的本体服务的研究,引入本体代理和注册中心DF的服务发现机制,将DF与UDDI协作.有了代理和本体的帮助,可以弥补UDDI的不足,提高Web服务发现的效率.     

基于QoS-Ontology的Web服务选择Broker模型

服务匹配是Web服务选择的重要前提.针对目前Web服务发现中过分依赖Web服务的功能性属性这一方法的不足,提出了一种基于非功能性Web服务质量QoS本体的Web服务选择Broker模型.之后,介绍了用来描述用户的个人偏好QoS PPR,量化了用户模糊需求;给出了QoS值计算函数公式.最后,依据Broker模型和QoS值计算公式提出了服务选择匹配算法.     

基于语义规则的分阶段语义Web服务发现方法

为解决现有语义Web服务发现方法发现效率较低的问题,针对服务发现过程中服务描述不对称的特点,在现有研究基础上,提出了一种基于语义规则的分阶段语义Web服务发现方法.该方法使用语义规则来刻画服务请求描述,对服务发布本体进行了扩展,并通过分阶段服务发现,实现了服务匹配范围的准确界定,提高了服务发现的效率,保证了服务发现的质量.通过与已有算法在成功率、完成时间等方面的对比模拟实验,表明了该方法的性能.     

类型化的Web服务组合形式化模型

Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性.本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WS Web服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证.最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法.     

ASP．NET Web服务的状态管理技术及其应用模式

默认情况下,Web服务是无状态的.但对某些应用来说,则需要有状态的Web服务,以便在处理客户请求时能保存有用数据,并在后续请求的处理中加以利用.本文介绍ASP.NET Web服务的状态管理技术,并通过示例说明其应用模式.     

一种基于P2P的语义Web服务发布和发现模型

服务发布和发现是Web服务应用中极其重要的环节.随着Web服务数目的增长和对实时性需求的增加,分布式服务发布和发现机制成为Web服务应用的一个新研究方向.对当前Web服务发现问题研究进行了探讨,提出了基于P2P的Web服务发布和发现的工作模型,并以实例说明了其工作过程.该模型采用两层结构:第一层是纯Peer-Peer连接,通过一定的路由机制保证通信的畅通,有效地支持系统的可扩展性;第二层采用集中式的连接方式,各个Peer节点集中连接到指定的Broker,以方便统一管理和维护,提高系统的查询效率.     

支持QoS属性的Web服务PFS模型研究

目前的Web服务只有基于功能性描述的服务注册与发现接口，不能实现具有QoS属性的Web服务注册与发现，为此提出了支持QoS属性的Web服务PFS模型，引入QoS Broker模块实现具有QoS属性的Web服务注册、查找、选择和QoS信息的管理功能，实现了Web服务使用过程中的QoS监视以及QoS评价，并将最新的评价结果用于服务QoS信息的更新，从而保证了QoS信息的公平性、可信性和实时性。     

支持EJB动态分布的组件迁移模型与算法

Web应用服务器是Web计算环境下的新型中间件,为基于组件的分布式Web应用提供了基础运行平台.组件静态分布限制了事务性Web应用在运行期间适应执行环境变化的能力.为了满足Web应用的动态分布需求,Web应用服务器需在底层为组件提供一种动态迁移的能力.如何维持组件迁移前后的一致性是组件迁移中最棘手的问题之一.为解决此问题,定义了组件迁移一致性约束CMC(component migration constrains),并给出了在J2EE(Java 2 platform enterpnse edition)应用服务器中支持EJB(enterprise Java Bean)动态分布的组件迁移模型和SLB Copy,SFB_Copy,EB_Copy 3个迁移算法.分析得出SLB_Copy,SFB_Copy和EB_Copy均满足CMC约束.迁移模型和算法已在自主研制的Web应用服务器WebFrame2.0中实现,并已应用到自适应负载平衡、失效恢复等多个方面.     

A probabilistic approach to modeling and estimating the QoS of web-services-based workflows

Web services promise to become a key enabling technology for B2B e-commerce. One of the most-touted features of Web services is their capability to recursively construct a Web service as a workflow of other existing Web services. The quality of service (QoS) of Web-services-based workflows may be an essential determinant when selecting constituent Web services and determining the service-level agreement with users. To make such a selection possible, it is essential to estimate the QoS of a WS workflow based on the QoSs of its constituent WSs. In the context of WS workflow, this estimation can be made by a method called QoS aggregation. While most of the existing work on QoS aggregation treats the QoS as a deterministic value, we argue that due to some uncertainty related to a WS, it is more realistic to model its QoS as a random variable, and estimate the QoS of a WS workflow probabilistically. In this paper, we identify a set of QoS metrics in the context of WS workflows, and propose a unified probabilistic model for describing QoS values of a broader spectrum of atomic and composite Web services. Emulation data are used to demonstrate the efficiency and accuracy of the proposed approach.     

基于流程树的BPEL4WS中流程服务动态优化方法*

针对服务流程建模语言BPEL4WS难以满足用户个性化需求也无法适应动态环境变化的问题,提出了一种动态优化BPEL4WS中流程服务的方法。该方法给出了一种Web服务交互代价计算模型,用来评价用户对Web服务的偏好程度以及实时环境下Web服务交互的现实代价。将BPEL4WS描述的服务组合流程转换为服务组合流程树,并借助领域本体对流程树节点进行语义检查,消除流程树中不合法的流程组合。通过深度优先遍历流程树,利用单亲遗传算法对流程服务进行优化组合。最后给出应用算例,并对用来优化组合流程服务的单亲遗传算法的适用性与     

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

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

Delivering Web service load testing as a service with a global cloud

In this paper, we present WS‐TaaS, a Web services load testing platform built on a global platform PlanetLab. WS‐TaaS enables load testing process to be simple, transparent, and as close as possible to the real running scenarios of the target services. First, we briefly introduce the base of WS‐TaaS, Service4All. Second, we provide detailed analysis of the requirements of Web service load testing and present its conceptual architecture as well as algorithm design for improving resource utilization. Third, we present the implementation details of WS‐TaaS. Finally, we perform the evaluation of WS‐TaaS with a set of experiments based on the testing of real Web services, and the results illustrate that WS‐TaaS can efficiently facilitate the whole process of Web service load testing. Especially, comparing with existing testing tools, WS‐TaaS can obtain more effective and accurate test results. Copyright © 2014 John Wiley & Sons, Ltd.     

Intelligent dynamic workflow support for a ubiquitous Web service-based manufacturing environment

The ubiquitous environment is increasingly being considered as a platform for finding and integrating separate distributed services. Individuals or businesses can provide their services in the form of Web services in such a ubiquitous environment, and business processes that integrate such ubiquitous Web services can be formed using workflow technology. Workflow design and execution in such a dynamic and distributed environment needs to be very flexible in terms of incorporating changes. Web services may suddenly become unavailable and backup services may need to be found, or several providers of services may not be identifiable at the design time of the workflow. Therefore, dynamically finding and invoking Web services based on the workflow semantics need to be supported. BPEL4WS is the most popular and promising language among the workflow design languages for Web services. However, one of the problems with BPEL4WS is that it references the fixed WSDL file, which makes the workflow less flexible in dynamic and ubiquitous environments. Another problem is that it limits the amount of resources to only those that are specified. This makes it difficult to support semantics for finding similar or backup services in a ubiquitous network. This paper focuses on extending the BPEL4WS framework to include semantics by adding semantic constructs into WSDL and making use of ontologies in the BPEL4WS engine in order to support dynamic workflows suitable for ubiquitous environments.     

Web services: beyond the hype

The paper considers Web services (WS). WS comprises a set of platform-neutral technologies designed to ease the delivery of network services over intranets and the Internet. Cross-platform capabilities are one of WS's key attractions because interoperability has been a dream of the distributed computing community for years. The paper lists some WS Web sites and discusses Java-based initiatives     

基于代理和BPEL4WS的Web服务合成与实现

Web服务的交互和实现被推荐通过软件代理来实现.Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程.软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力.基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置.系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现.