Web应用服务器中Web Service引擎的设计与实现

Web Service为程序之间的交互提供了基础，实现了独立于程序设计语言的一致化编程模型，并以通用的方法进行应用程序集成。分析了Web应用服务器实现Web Service的关键需求，阐述了在应用服务器中基于SOAP的Web Service引擎的设计与实现，介绍了实现Web Service引擎的若干关键技术和解决办法。Web Service引擎已在自主研发的OnceAS应用服务器中实现。     

Web服务事务的研究综述

Web服务的出现对分布式事务提出了新的需求，为了保证多个Web服务交互获得正确的执行和一致性的结果，有必要为Web服务提供事务机制。但是Web服务具有松散耦合性、运行时间长等特点，这使得传统的事务处理技术在处理Web服务事务时显得力不从心。本文对Web服务事务的关键问题进行了阐述，包括Web复合框架的事务性支持、Web服务事务规范以及扩展事务模型等方面的研究内容，并指出了目前研究的不足以及未来的发展趋势。     

程序性质的描述与证明

XYZ/E是一种基于Manna-Pnueli线性时序逻辑的线性时序逻辑语青(LTLL),其主要特征为它在统一的时序逻辑框架下既能表示程序的静态规范(XYZ/AE)也能表示可执行代码(XYZ/EE),因此程序规范和程序可执行代码的语义一致性也就得以在时序逻辑框架下验证。对于顺序程序,XYZ系统提供了一套基于Hoare逻辑规则的验证工具XYZ/VERI。此工具通过读取程序及其前后断     

一种应用敏感的Web服务请求调度策略

在当前企业级Web服务应用中,性能问题一直是人们关注的重点．然而作为支撑Web服务应用的主流平台,Web应用服务器对请求的调度仍然是传统的先来先服务策略(FCFS)．这种策略无法区分请求的重要性,降低了关键请求的性能．以往的研究较少从应用的性能需求出发考虑服务器的请求调度机制,影响了服务器性能保障的效果．对此,提出了应用敏感的Web服务请求调度策略(AWSRS),使用应用获益来评估服务器为应用提供的性能保障效果．服务器将请求按照应用的需求进行分类,并按照应用获益最大化的目标为不同类型的请求分配资源．实验表明AWSRS策略能够有效提高关键请求的性能．     

一种基于性能模型的中间件自配置框架

高动态的计算环境使得QoS(quality of service)保障对于基于组件的分布式系统越来越重要,软件系统需要具备自我调整的能力以适应外部环境的变化.给出一种自适应的中间件配置框架,能够动态感知负载变化,并自动调整系统参数配置以保持用户所要求的服务质量.该框架的核心是一个基于分层排队网络的性能预测模型,用于指导搜索最优的资源配置,使性能需求得到最大的满足.在OnceAS应用服务器上进行原型实现,并以StockOnline应用做实验,比较了在使用和不使用该框架时的性能需求的满足情况.结果显示,在负载增加时,通过自配置框架的调控,应用性能需求的保障程度得到了较大的提升.