Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL | IEEE Conference Publication | IEEE Xplore