从BPMN模型导出组合服务的代数规约

摘要：

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

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

所属期刊栏目：35

分类号：TP311.52(计算技术、计算机技术)

资助基金：湖南省教育厅高校教学改革项目2010-428

在线出版日期：2013-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：74-80