摘要：针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题，提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCCWS表示的代数规约方法。首先，定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则，设计由正则表达式导出构成公理的项的算法；然后，提出根据所得的项人工书写公理的启发式规则；最后，实现一个从BPMN模型导出组合服务基调的工具原型。案例研究表明，该方法可以解决BPEL服务的代数规约生成问题。

关键词：代数规约 组合服务 业务流程建模标注 业务流程可执行语言 

单位：中南林业科技大学涉外学院 湖南长沙410042 国防科学技术大学计算机学院 湖南长沙410073