Transforming dynamic behavior specifications from activity diagrams to BPEL. - Nasser Mousa Faleh. Mustafa; Gregor von Bochmann (SOSE, 2011)