Business processes are increasingly used by organizations to automate their activities. Written in languages like WS-BPEL, they allow an institution to describe precisely its internal operations. As the pace of change ...