Abstract:

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.

Key words: algebraic specification;composite web service;business process modeling notation;business process execution language