The Ode charter was formed to implement BPEL, not solve a general process calculus problem (of which the latter is dubious in the context of the runtime as formerly asserted in well respected academic circles).
If somebody wants to implement a general process engine or go beyond BPEL with all sorts of extensions, that probably belongs somewhere else. I don't want the community to need to understand process calculus to work on this project (or the theory of universal Turing machines for that matter) - because it is not entirely necessary in the narrow context of the implementation of Ode for BPEL. I prefer the BPE core for that reason alone - simplicity and focus to the BPEL runtime problem. The engine does precisely what it sets out to do in a straightforward manner, doesn't introduce extra overhead or concepts, and we can explain it in terms anyone familiar with BPEL can understand. Besides, it's documented. ;-)
