Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language.

Steffen Mazanek Michael Hanus Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language. 66-89 2011 22 J. Vis. Lang. Comput. 1 http://dx.doi.org/10.1016/j.jvlc.2010.11.005 db/journals/vlc/vlc22.html#MazanekH11