Developing an event-driven BPEL process