服务组合使企业应用集成和动态协作成为可能,便于实施新的解决方案。通过松散的方式把服务有效地组织起来,以实现业务流程。但是随着企业应用的扩大和新业务的不断提出,简单的流程构建不能满足业务需求的复杂性与动态性。对于大规模的服务组合,主要存在以下问题:①自动组合程度不高。虽然目前服务组合能实现部分自动化处理,但是完整意义上的自动服务组合是没有的,大部分还是需要人工干预或配置。②现有服务资源集不能满足业务需求。服务组合都是建立在一定服务资源集的基础上,并由它们组合成目标流程,如果缺少必要的服务势必会影响目标流程的构建。③服务组合伸缩性差。为了满足新的业务需求,大规模的流程拆分和重组是不可避免的。然而重新定义流程和组装新的服务会直接影响流程构建速度。本论文针对这些问题开展研究,并完成以下工作:①分析了目前服务组合的方法和优缺点,并选用有限状态自动机原理作为理论基础以构建自动服务组合模型;②研究有限状态自动机元素与BPEL元素的一致性,主要体现在形式化描述与实际的服务状态的映射关系与转换过程;③在明确服务组合中各个活动执行状态关系的前提下,提出虚拟服务用来弥补现有服务资源集不足,并给出虚拟服务的服务组合算法来构建业务流程;④设计并实现了原型系统,此原型系统基于有限状态机理论,把传统的WSDL描述+BPEL的静态组合方式改进为WSDL描述的服务集+自动生成BPEL的动态组合方式,提高了其伸缩性。