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