Dynamic device and service discovery extensions for WS-BPEL | IEEE Conference Publication | IEEE Xplore