A Declarative Approach to Enhancing the Reliability of BPEL Processes | IEEE Conference Publication | IEEE Xplore