为了快速地实现分布式协作开发环境,将现有的工具和组件包装成Web服务并将这些服务集成起来是一种切实有效的方法。Web服务业务流程执行语言(WebService Business Process Execution Language, WS-BPEL,简称BPEL)以Web服务为基础,按照标准的规则整合基础服务形成BPEL流程,可以满足分布式协作应用的需求。目前已有一些BPEL引擎,但在性能、可靠性和资源消耗方面还不能满足项目的需要。本文在研究了BPEL相关规范的基础上,设计并实现了一个能够高效执行的BPEL引擎-CBPEL。通过用例、逻辑和进程三种视图模式分析了RCBPEL的设计架构,详细描述了引擎核心组件的设计与实现方法。同时,由于BPEL规范没有提供有效的机制应对服务调用过程中产生的系统异常,本文在相关技术研究的基础上,提出了一种基于动态代理的流程恢复机制并给出了详细的设计方案。实验表明,RCBPEL能够高效地执行,且占用的资源较少,能够满足项目的需求。实验结果还表明,动态代理对BPEL引擎造成的性能影响小,能够有效保证流程执行的可靠性,是一种可行的方案。