Transforming BPEL into annotated deterministic finite state automata for service discovery | IEEE Conference Publication | IEEE Xplore