针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性，提出了一种基于进程代数的Web服务编排方法（PA4WS），该方法新增WS-CDL工作单元描述算子，通过设置工作单元算子的卫式条件和循环条件来描述异步交互，进而完成对信息对齐交互的建模。