摘要：IBM、Microsoft和BEA联合提出的服务组合描述语言BPEL4WS是现有的主要工业标准。本文在分析BPEL4WS控制流程的基础上提出了控制依赖关系概念，并设计了一个复杂度为0（N^2）的控制依赖关系图生成算法。最后，基于控制依赖关系图，讨论了如何进行BPEL4WS的控制冲突检查和执行优化。

关键词：bpel4ws 服务组合 控制流 控制依赖 控制冲突 

单位：南京大学计算机科学与技术系 江苏南京210093