BPMN2BPEL transformation with Fujaba - a Case Study

We have modeled a BPMN to BPEL synthesis transformation for the GraBaTs 2009 Tool Contest with the Fujaba Tool Suite. The basic problem of transformation is to create a hierachical a block structure out of a given ow graph. We use the same approach as already successfully implemented in the Fujaba code generator CodeGen2, which transforms amongst others SDM diagrams with arbitrary control ow into java code, which is as well formed as block structure.