【作者】 毛宏燕；

【导师】 黄林鹏；

【作者基本信息】 上海交通大学 ， 计算机软件与理论， 2006， 博士

【摘要】 Web服务已逐渐普及,其具体实现封装成黑盒,用户与服务及服务之间通过标准接口通讯,由此基于Web服务的系统具有强扩展性和可复用性。然而服务的设计和实现都存在通用性,通用性和运行效率是相互矛盾的问题,通用性需要服务相互分离,高效率要求服务间的紧密耦合,因此对于某些涉及大量计算的特定领域和已知语境的应用,程序庞大,效率不高。如何既保持服务的适应性和灵活性,同时又能获得较好的运行效率,对该问题的研究具有重要的理论意义和实际应用价值。本文基于部分计值技术,从服务设计和实现两个方面研究如何改善服务运行性能的问题。部分计值是一种系统化的自动方法,并不针对特定语言和特殊应用,将其引入服务设计、定制和实现过程中,不破坏封装性的要求,可以保持服务生产者和使用者之间的松耦合性,达到兼顾系统通用性与高性能的目标。论文的主要研究内容和贡献如下:针对通用服务设计结构在实际或特殊应用中运行效率低的问题,提出了基于部分计值的服务特化方法。分析了网络系统多个方面存在的特化可能性,服务产生的开销及优化技术。借鉴基于类、面向对象、面向组件特化的方法,分析了服务特化的特点。针对已有服务和新建服务,提出了特化服务需要研究的内容、采用的工具及解决过程。提出将部分计值技术融入未来网络系统的设计和研发的思想,在此基础上将G. Bobeff的工作扩展到对服务的特化,给出了基于部分计值的服务特化结构模型和开发框架。实例表明部分计值技术能够改善Web应用运行性能。提出了通过利用部分计值技术降低应用设计模式的开销,产生特化服务的方法。设计模式是服务设计结构的抽象表现形式,设计模式特化的思路能够缩小服务特化的范围。对设计模式进行分类研究,抽象同类模式特化活动的共性。定义了服务声明语言和绑定时间分析语法,给出了语义分析,以确定特化过程中的语境不变式和特化点。提出了服务特化的设计原型,通过语法分析和编译更多还原

【Abstract】 With the popular of Web services, the web application system has well extensibility and reusability because its implementation is encapsulated into black box, and users and services communicate with interfaces. However, there exists generality in design and implementation, as we know, the generality and high performance is inconsistent that the former needs the separation, and the later needs the close coupling between services. Therefore the program becomes huge and running efficiency is decreased particularly to specific or known usage context application involved with large of computations. The key issue is that how to preserve the adaptability and flexibility, and achieve well run-ning efficiency at the same time.This paper is focused on optimizing the performance of services based on partial evaluation from the design and realization point. Partial evaluation is a systemic and automatic program transformation technique not related with particular language or ap-plication, and it can be applied to the design, customization and implementation of ser-vices, which do not destroy the encapsulation and maintains the loose-coupling between service provider and requester. The major work and the originality cover the following four aspects:Firstly, we propose the service specialization with partial evaluation in order to improve the running performance of generic services. The specialization opportunities of web system in each aspect are summarized, and the overheads of services and the op-timization techniques are analyzed. The paper investigates the characteristics of service specialization based on the component-oriented, object-oriented and class-based spe-cialization. The paper presents the research scope, corresponding tools and specializa-tion process of service specialization for the known and new created services. It inte-grates partial evaluation into the design and development of future web system, and gives the corresponding service specialization structure built on partial evaluation. The更多还原