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

• 作者: 余波
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 代数规约 组合服务 业务流程建模标注 业务流程可执行语言
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 计算机理论
• 页码范围: 74-80
• 页数: 7页
• 分类号: TP311.52
• 字数: 5829字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.02.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余波	中南林业科技大学涉外学院	28	83	6.0	8.0