Aiming at the problem of deriving specifications from composite Web service defined by BPEL when testing the service automatically based on specification, an approach is presented for the sake of deriving algebraic specification defined by algebraic specification language CASOCC-WS of composite Web service defined by BPEL from BPMN model. Firstly, the rules for translating BPMN model into signature and translating BPMN structure into regular expressions are presented. Secondly, the algorithm for deriving the terms of axiom equation from the regular expression is proposed, and the heuristic rules for constructing axioms from the terms manually are proposed. At last, a prototype tool is implemented for deriving signature of composite web service from BPMN model. A case study shows that the presented approach is suitable to writing algebraic specification from the definition of BPEL service.%针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法.首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则,设计由正则表达式导出构成公理的项的算法；然后,提出根据所得的项人工书写公理的启发式规则；最后,实现一个从BPMN模型导出组合服务基调的工具原型.案例研究表明,该方法可以解决BPEL服务的代数规约生成问题.
展开▼
