随着生产力和科学技术的发展,现代产业创造价值的增长点已经逐步转向服务的革新,世界经济已经从工业时代进入服务时代。服务科学是一门整合传统服务相关学科技术,提高服务产业水平的新兴学科。服务计算是从软件领域研究服务科学的热门研究方向,并在智能电网、医疗服务、通信行业电子商务等很多重大领域发挥着不可替代的作用。面向服务的体系结构作为服务计算所倡导的实现方式,是标识分布式系统与软件集成等方向技术进步的一个新的里程碑,它相对与传统的分布式计算技术,更强调IT与业务的对齐,具有敏捷性、开放性、动态适应性等特点。本文针对服务计算中的服务组合问题进行了研究和实践,具体的研究内容涉及面向服务的体系结构、服务模型、服务组合方式、服务组合验证等方面,主要的工作及贡献概括为以下四个点：在研究服务组件架构和业务流程执行语言规范的基础上,提出并实现了基于服务组件架构的人工活动服务框架,实现了人工活动与传统服务的无缝组合,提高了服务组合的范围与能力。研究并实现了基于规则的动态服务组合,通过服务拦截和规则匹配的方式,提高了服务组合的灵活性和扩展性。研究了基于Petri网的服务组合验证方法,提出了对服务组合中数据竞争的问题进行静态验证的方法,提高了服务组合的可靠性和正确性。设计并实现了基于业务流程执行语言和服务组件架构的服务组合平台以及建立在该平台基础上的绩效考核应用系统。服务组合平台涵盖了SOA生命周期的服务建模、服务组合、服务部署、服务管理四个阶段,并将研究的成果加以实现。应用系统体现了上述理论研究的成果转化。