SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine | IEEE Conference Publication | IEEE Xplore